TY  - BOOK
AU  - ASTESIANO E; KREOWSKI HJ; KRIEG BRUCKNER B
TI  - ALGEBRAIC FOUNDATIONS OF SYSTEMS SPECIFICATION
SN  - 3540637729
U1  - 005.1 
PB  - SPRINGER INC
KW  - SOFTWARE ENGINEERING
ER  -