Raymond E. Miller, Seymour Ginsburg, Walter A. Burkhard, Richard J. Lipton: Proceedings of the 12th Annual ACM Symposium on Theory of Computing, April 28-30, 1980, Los Angeles, California, USA. ACM 1980, ISBN 978-0-89791-017-0