1. Transformational implementation: An example;Balzer;IEEE Trans. Software Engrg.,1981
2. Principles of good software specification and their implications for specification languages;Balzer,1979
3. On the transformational implementation approach to programming;Balzer;Proc. 2nd IEEE International Conference on Software Engineering,1976
4. Informality in program specifications;Balzer;IEEE Trans. Software Engrg.,1978
5. Knowledge-Based Program Construction;Barstow,1979