TY  - GEN
AU  - Sannella,Donald
TI  - Foundations of algebraic specification and formal software development
SN  - 9783642173356 (hard cover : alk. paper)
PY  - 2011///
CY  - New York
PB  - Springer
N1  - Contine bibliogr. si index
ER  -