TY  - BOOK
AU  - Curien, Pierre-Louis, et al.
TI  - Interactive models of computation and program behavior
SN  - 9782856292730
CY  - France
ER  -