Գրեք սա: Interactive models of computation and program behavior / Pierre-Louis Curien [and others].