Ralph-Johan Back, Kaisa Sere. Stepwise Refinement of Action Systems. Software - Concepts and Tools, 12(1):17-30, 1991.
@article{BackS91, title = {Stepwise Refinement of Action Systems}, author = {Ralph-Johan Back and Kaisa Sere}, year = {1991}, tags = {refinement}, researchr = {https://researchr.org/publication/BackS91}, cites = {0}, citedby = {0}, journal = {Software - Concepts and Tools}, volume = {12}, number = {1}, pages = {17-30}, }