RCOS: yet another teaching operating system. - Ron Chernich; Bruce Jamieson; David Jones (ACSE, 1996)