Thomas S.E. Maibaum

Bibliography

Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992a. Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1992b. Handbook of Logic in Computer Science. Volume 2. Background: Computational Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1994. Handbook of Logic in Computer Science. Volume 3. Semantic Structures. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 1995. Handbook of Logic in Computer Science. Volume 4. Semantic Modelling. Oxford: Oxford University Press.
Abramsky, Samson, Gabbay, Dov M. and Maibaum, Thomas S. E., eds. 2000. Handbook of Logic in Computer Science. Volume 5. Logic and Algebraic Methods. Oxford: Oxford University Press.
Fiadeiro, J. L. and Maibaum, Thomas S. E. 1994. “Sometimes ‘Tomorrow’ is ‘Sometime’ – Action Refinement in a Temporal Logic of Objects.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 48–66. Lecture Notes in Computer Science n. 827. Berlin: Springer.