TY  - BOOK
AU  -  Turner,j.g. 
TI  -  The construction of formal specifications an introduction to the model-based and algebraic approaches 
SN  - 0077077350
U1  - 005.12 TUR 
CY  -  Mcgraw hill 
KW  -  Software engineering
ER  -