TY  - BOOK
AU  - Martin James
TI  - Design provably constructs
SN  - 0-13-881483-X
U1  - 001.6425 Mar 
PY  - 1985///
CY  - Prentice Hall Inc., New Jersey
ER  -