Theoretical Computer Science (Elsevier Science Publishers, 1975)