An informal introduction to speci using Clear (1981)

by R Burstall, J Goguen
Venue:The Correctness Problem in Computer Science