Title: Algebraic specifications in software engineering
Subjects: Abstract data types (Computer science), Software engineering, Génie logiciel, Types abstraits de données (Informatique), Algebra, Algebraische Spezifikation, Softwareentwicklung