Time And Logic: A Computational Approach

Leonard Bolc , Andrzej Szałas