1. Bartels, U., Olthoff, W., Raulefs, P.: APE: An expert system for automatic programming from abstract specifications of data types and algorithms. Fachbereich Informatik, Universität Kaiserslautern, MEMO SEKI-01-81, 1981
2. Lecture Notes in Computer Science;F.L. Bauer,1985
3. Lecture Notes in Computer Science;F.L. Bauer,1987
4. Bauer, F.L., Möller, B., Partsch, H., Pepper, P: Programming by formal reasoning — an overview of the Munich CIP project. To appear in: IEEE Transactions on Software Engineering, 1988
5. Bergstra, J.A., Heering, J., Klint P.: ASF — An algebraic specification formalism. Centre for Mathematics and Computer Science, Amsterdam, Technical Report CS-R8705, 1987