1. R.J.R. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM TOPLAS, 10(4):513–554, 1988.
2. R. Balzer. A 15 year perspective on automatic programming. IEEE Transactions on Software Engineering, SE-11(11):1257–1267, November 1985.
3. R. Balzer and N. Goldman. Principles of good software specification and their implications for specification languages. In Specification of Reliable Software, pages 58–67. IEEE Computer Society, 1979.
4. R. Balzer, N. Goldman, and D.S. Wile. On the transformational implementation approach to programming. In Proceedings, 2nd International Conference on Software Engineering, San Francisco, California, pages 337–344, October 1976.
5. R. Balzer, T.E. Cheatham Jr., and C. Green. Software technology in the 1990's: Using a new paradigm. Computer, pages 39–45, November 1983.