Fundamental Studies in computer science. (North-Holland Publ., 1984)