Algorithimic Languages and Calculi - Richard S. Bird, Lambert Meertens ((IFIP Advances in Information and Communication Technology))