GALTON,ANTONY (ED) TEMPORAL LOGICS AND THEIR APPLICATIONS - 1 - LONDON AP 1987 - 244 BR-242 ISBN: KBCS 629.2 Dewey Class. No.: 726