Generic commands—A tool for partial correctness formalisms (1977)

by J Schwarz
Venue:The Computer Journal