Harlan D. Mills
Florida Institute of Technology, Software Engineering Technology, Inc.
Communicating sequential processes
Stepwise Refinement and Verification in Box-Structured Systems
Computer