John A. Keane, Walter Hussak. The use of formal methods in parallel operating systems. In Sixteenth Annual International Computer Software and Applications Conference, COMPSAC 1992, Proceedings, Chicago, IL, 21-25 September, 1992. pages 245-250, IEEE, 1992. [doi]
Abstract is missing.