Bird Richard S Ed. Algorithmic languages and calculi. - 1997 Standard No.: 13029 Source: Textual Dewey Class. No.: B2895, N7