TY  - BOOK
AU  - Broy, M
TI  - Logic of programming and calculi of discrete design
N1  - D6,8(B) M736
ER  -