An informal introduction to specifications using Clear (1981)

by R M Burstall, J A Goguen