TY  - BOOK
AU  - MEYER(Albert R)
TI  - Ten thousand and one logics of programming
PB  - M.I.T
ER  -