TY  - BOOK
AU  - Kant, Elaine
TI  - Efficiency in program synthesis
PY  - 1981///
CY  - Michigan
PB  - Ann Arbor
KW  - Computer systems
KW  - Computer operating systems
KW  - Computer peripherals
KW  - Computer software
KW  - Computer science
KW  - Electronic data procressing
KW  - Digital systems
KW  - digital machines
KW  - Efficiency in program synthesis
KW  - programme synthesis
KW  - program synthesis
ER  -