Olsen, D., & 		Maziero, C.
2008 Jul 12.  A kernel service for user information. Proceedings of the Workshop on Operating Systems (WSO). [Online] :