1. Analogical reasoning for digital system synthesis;Acosta,1986
2. A 15 year perspective on automatic programming;Balzer;IEEE Trans. Softw. Eng.,1985
3. Automated enhancement of knowledge representations;Balzer,1985
4. Specification-based computing environments;Balzer,1983
5. Software technology in the 1990's using a new paradigm;Balzer;IEEE Computer,1983