An Abstract Machine for Execution Time Estimation - A. de Mes (University of Amsterdam, 1994)