TY - BOOK AU - Breu,R. TI - Algebraic specification techniques in object oriented programming environments SN - 3540549722 AV - QA76.6 B84 PY - 1991/// CY - Berlin PB - Springer KW - Software engineering KW - Object-oriented programming (Computer science) ER -