C. E. Prael PASCAL for operating software? A critical examination. 53-57 1982 17 SIGPLAN Notices 3 db/journals/sigplan/sigplan17.html#Prael82