1
Published 1983
...Addison-Wesley series in computer science...