leonard bolc,andrzej szalas time and logic a computational approach - - london UCL university collge london press 1995 - 325 ISBN: 1-85728-233-7 Dewey Class. No.: 004.43