Computer Program Synthesis Methodologies. Proceedings of the N... - BIERMANN, A.W (1983)