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