Ralph-Johan Back, Kaisa Sere. Stepwise Refinement of Action Systems. In Jan L. A. van de Snepscheut, editor, Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings. Volume 375 of Lecture Notes in Computer Science, pages 115-138, Springer, 1989.
No references recorded for this publication.
No citations of this publication recorded.