Learning operating systems structure and implementation through the MPS computer system simulator. - Mauro Morsiani; Renzo Davoli (SIGCSE, 1999)

The Kaya OS project and the muMPS hardware emulator. - Michael Goldweber; Renzo Davoli; Mauro Morsiani (ITiCSE, 2005)