Title: Theoretical computer science
First published: 1977