John E. Hopcroft, Emily P. Friedman, Michael A. Harrison: Proceedings of the 9th Annual ACM Symposium on Theory of Computing, May 4-6, 1977, Boulder, Colorado, USA. ACM 1977, ISBN 978-1-4503-7409-5