Stepwise refinement of action systems (1991)

by R J R Back, K Sere
Venue:Structured Programming