TY  - BOOK
AU  - Aart Middeldrop, Vincent Van Oostrom
TI  - Process, Terms and Cycles : Steps on the Road to Infinity
SN  - 354030911
U1  - R 005.131 AAR-P 
PY  - 2005///
CY  - Berlin
PB  - Springer
KW  - Computer Science
KW  - Computer Science Logic and Foundations of Programming
ER  -