Introduction to languages, machines and logic : computable machines, abstract machines and formal logic - Parkes, Alan, 1955- (Springer, 2002)