Title: System design from provably correct constructs
First published: 1985
Subjects: Electronic dataprocessing, Software engineering, Electronic data processing, System design, System analysis, Computer programming, Debugging in computer science