MR 1619103 . Cite book Title [[Symposium on Foundations of Computer Science|Proc. 36th Annual Symposium on Foundations of Computer Science]] (Milwaukee, WI, 1995) Last name Watrous First name John Publisher IEEE Comput.