TY  - BOOK
AU  - Morgan,Carroll
TI  - Programming from specifications
SN  - 0131232746
PY  - 1994///
CY  - New York
PB  - Prentice-Hall
KW  - Electronic digital computers
KW  - Programming
N1  - References :p. 315-317
ER  -