Theoretical computer science (North-Holland Pub. Co., 1975)