Theoretical Foundations of Programming Methodology (NATO Science Series C: )
Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986 (Lecture Notes in Computer Science, 244)
Program Specification Proceedings of a Workshop Aarhus, Denmark, August 1981
Compiler Compilers Third International Workshop, CC `90. Schwerin, FRG, October 22-24, 1990. Proceedings
Programming Methodology 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974
Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988. Proceedings
Foundations of Logic and Functional Programming Workshop, Trento, Italy, December 15-19, 1986. Proceedings
Algebraic and Logic Programming Second International Conference, Nancy, France, October 1-3, 1990. Proceedings
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Rewriting Techniques and Applications Bordeaux, France, May 25-27, 1987. Proceedings