Abstraction and Computation (2002)

by V Capretta