A basis for theoretical computer science. - Springer Verlag, 1981. - ( Texts and Monographs in Computer Science ).