A structured approach to teaching operating systems principles using a high level concurrent programming language. - Robert J. Fornaro; Kenneth P. Garrard; E. M. Uzzle (SIGCSE, 1983)