WOPPLOT 83 Parallel processing: Logic, Organization, and Technology Proceedings of a Workshop Held at the Federal Armed Forces University Munich (HSBw M) Neubiberg, Bavaria, Germany, June 27–29, 1983
Advanced Programming Environments: Proceedings of an International Workshop Trondheim, Norway, June 16-18, 1986 (Lecture Notes in Computer Science, 244)
Emerging Technologies for In Situ Processing (NATO Science Series E:, 139)
Theoretical Foundations of Programming Methodology (NATO Science Series C: )
The Munich Project CIP: Volume I: The Wide Spectrum Language CIP-L (Lecture Notes in Computer Science, 183)
The Munich Project CIP Volume II: The Programme Transformation System CIP-S
Logics of Programs: Workshop Carnegie Mellon University Pittsburgh, PA, June 6-8, 1983 (Lecture Notes in Computer Science, 164)
Knowledge, Data and Computer-Assisted Decisions (Nato ASI Subseries F:)
Specification and Transformation of Programs A Formal Approach to Software Development
Environmental Social Psychology