@inbook{inbook0b2640a9,
title   = {Imperative history: two-dimensional executable temporal logic},
author = {Finger, Marcelo and Reynolds, Mark C.},
year = {1999},
doi = {10.1007/978-94-011-4574-9_5},
publisher = {Springer},
journal   = {Logic, language and reasoning : essays in honour of Dov Gabbay}
}