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