Abstraction and Computation (2002)

by Venanzio Capretta