POP-11 Programming for Artificial Intelligence, Mike Burton and Nigel Shadbolt