TY  - SER
TI  - Theory of computing systems
U1  - 510 
CY  - Berlin
PB  - Springer-Verlag.
ER  -