Computation and Reasoning
ISBN-13: 9781846581892