TY  - BOOK
AU  - Johnson,Michael
TI  - Algebraic methodology and software technology
T2  - Lecture notes in computer technology,No-1349
SN  - 3540638881
U1  - 004.0151 JOH 
PY  - 1997///
CY  - Berlin
PB  - Springer
N1  - Includes bibliographical references
ER  -