Mathematical Foundations of Software Engineering. Essays in Honour of Tom Maibaum on the Occasion of his 70th Birthday and Retirement