Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover, 1998)
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School, Held in Wendisch-Rietz (G (Hardcover, Reprint 2024)
Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, Gdr, April (Paperback, 1986)
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A (Hardcover, 1998)