1. R. M. Balzer: Transformational implementation: An example. IEEE Transactions on Software Engineering SE, 7(1):3–14, January 1981.
2. R. M. Balzer, T. E. Cheatham, and C. Green: Software technology in the 1990s: Using a new paradigm. Computer Magazine, 1983.
3. R. M. Balzer and N. M. Goldman: Principles of good software specification and their implications for specification languages. In Specification of Reliable Software, 58–67. IEEE Computer Society, 1979.
4. R. M. Balzer, N. M. Goldman, and D. S. Wile: On the transformational implementation approach to programming. In Proceedings of the Second International Conference on Software Engineering, 337–344, October 1976.
5. Don Batory and B. J. Geraci: Composition validation and subjectivity in GenVoca generators. IEEE Transactions on Software Engineering SE, February 1997.