2000, Torben Braüner, Per Hasle, and Peter Øhstrøm, "Determinism and the Origins of Temporal Logic", pages 185-206 in Howard Barringer, Michael Fisher, Dov Gabbay, and Graham Gough, editors, Advances in Temporal Logic, Applied Logic Series 16, Kluwer Academic Publishers