Title: Foundations of Software Technology and Theoretical Computer Science
First published: 1981