CMAY

"A Microkernel for Distributed Applications", R. Bagrodia et al, Proceedings of the Fifth International Conference on Distributed Computing Systems, IEEE, 1985, pp.140-149.