Title: Algebraic Methodology and Software Technology
Subjects: Algebraische Methode, Softwareentwicklung