Mathematics Of Program Construction door J. Jeuring, Roland C. Backhouse & J. Hartmanis