Algorithmic language and program development - Bauer, Friedrich L. (Springer Verlag, 1982)