TY  - BOOK
AU  - Turner, J. G. 
TI  - The construction of formal specifications : an introduction to the model-based and algebraic approaches /J.G. Turner, T.L. McCluskey
SN  - 0077077350
U1  - 005.12 TUR 
CY  - London ; New York : McGraw-Hill, c1994.
KW  - Software engineering
ER  -