and Kaisa Sere. Stepwise refinement of action systems (1991)

by Ralph-Johan Back
Venue:Structured Programming