CMAY <operating system> A {microkernel}. ["A Microkernel for Distributed Applications", R. Bagrodia et al, Proc 5th Intl Conf Distrib Comp Sys IEEE 1985, pp. 140-149]. (1994-12-21)