A software structuring tool for message-based systems - Rochat, Kim Lawson (Kansas State University, 1980)
Photocopy of typescript.
Digitized by Kansas Correctional Industries
Keywords: Computer programs; Computer programs--Verification