Imperative history: two-dimensional executable temporal logic - Finger, Marcelo; Reynolds, Mark C. (Logic, language and reasoning : essays in honour of Dov Gabbay, 1999)