Computation and Specification Models A Comparative Study Egon Börger Dipartimento di Informatica, Universita di Pisa boerger.