TY  - BOOK
AU  - Bjorner, D.
TI  - VDM Eighty-Seven
U1  - 000.799 
PY  - 0000///041987///
CY  - New York, NY
PB  - Springer-Verlag New York, Incorporated
KW  - OPTICAL DATA PROCESSING
N1  - 0-387-17654-3
ER  -