Mathematical aspects of computer science (Providence, American Mathematical Society, 1967)
A symposium of the American Mathematical Society.