TY  - BOOK
AU  - Van Roy
TI  - Concepts, Techniques, and Models of Computer Programming
PB  - IEEE
UR  - https://ieeexplore.ieee.org/servlet/opac?bknumber=6267353
ER  -