A specification language (1980)

by Abrial JR, S Schuman, B Meyer
Venue:In: Macnaghten AM, McKeag RM (eds). OntheConstruction of Programs