Algorithimic Languages And Calculi door Richard Bird, R.S. Bird & L.G.L.T. Meertens