A SIMPL distributed operating system and its formal definition. - Robert E. Noonan; Victor R. Basili; Richard G. Hamlet; M. Lay; Harlan D. Mills; Albert J. Turner; Marvin V. Zelkowitz (SIGPLAN-SIGOPS Interface Meeting, 1973)