TY  - BOOK
AU  - Tan, Yang Meng
TI  - Formal specification techniques for engineering modular C programs
SN  - 9780792396536
SN  - 95040529
U1  - 005.133C TAN 
PY  - 1996///
CY  - Dordrecht ; Boston
PB  - Kluwer Academic Publishers
KW  - C (Computer program language)
KW  - Software engineering
N1  - Includes bibliographical references (p. [205]-208) and index
ER  -