Time and logic : a computational approach /
Bolc, Leonard.
Szalas, Andrzej.
London : UCL Press,
1995.