TY  - SER
TI  - Science of Computer Programming
PB  - Elsevier
ER  -