TY  - BOOK
AU  - Turner, John.
AU  - McCluskey, T.L.
TI  - The construction of formal specifications : : an introduction to the model-based and algebraic approaches
SN  - 0-07-707735-0
U1  - 005.1 T85 
PY  - 1994///
CY  - London
PB  - McGraw-Hill Book Company
N1  - includes index; COECS; Bachelor of Science in Civil Engineering; Bachelor of Science in Computer Engineering; Bachelor of Science in Computer Science; Bachelor of Science in Electronics Engineering
ER  -