Larry K. Loucks Ravi Manikundalam Freeman L. Rawson III A Microkernel-Based Operating System for Personal Digital Assistants. 9-13 1993 Workshop on Workstation Operating Systems db/conf/hotos/wwos93.html#LoucksMR93