MIKE: A Distributed object-oriented programming platform on top of the Mach micro-kernel. - Miguel Castro 001; Nuno Neves 001; Pedro Trancuso; Pedro Manuel Antunes Sousa (USENIX MACH Symposium, 1993)