Abstraction and computation door V. Capretta