Programs as executable predicates

A. W. Roscoe and C.A.R. Hoare

book title	Proceedings of FGCS84 (ICOT, editors)
pages	220—228
year	1984

people	Bill Roscoe
activities	Concurrency