TY  - BOOK
AU  - Mohd. Zahran Halim
ED  - Universiti Sains Malaysia
TI  - On the conversion of structured specifications to logicprograms, Mohd. Zahran Halim
CY  - Pulau Pinang, Universiti Sains Malaysia, 1980
KW  - Logic programming
ER  -