Kenji Hisazumi Tsuneo Nakanishi Teruaki Kitasuka Akira Fukuda Design and implementation of the Lambda mu-kernel based operating system for embedded systems. 178-181 2002 ACM SIGOPS European Workshop http://doi.acm.org/10.1145/1133373.1133408 conf/sigopsE/2002 db/conf/sigopsE/sigopsE2002.html#HisazumiNKF02