Games and abstract machines (1996)

by V Danos, H Herbelin, L Regnier