Olsen, Diogo, AND 		Maziero, Carlos.
" A kernel service for user information" <em>Proceedings of the Workshop on Operating Systems (WSO)</em> [Online], (12 July 2008)