Executing temporal logic programs
Moszkowski, B. C.(Ben C)
Cambridge Cambridge University Press
1986
bibliography: p120-125
Electronic digital computers