Symbol Manipulation Languages and Techniques - Borrow, Daniel G (Ed.) (North Holland Publishing, 1968)