1. B. Langefors "Theoretical analysis of information systems " Studentlitteratur Auerbach Lund Sweden (1966). B. Langefors "Theoretical analysis of information systems " Studentlitteratur Auerbach Lund Sweden (1966).
2. R. Mattison "A formal system for the logical analysis of temporal relationships between intervals of time " Memo. RM-5279-PR Rand Corporation Santa Monica CA (April 1967). R. Mattison "A formal system for the logical analysis of temporal relationships between intervals of time " Memo. RM-5279-PR Rand Corporation Santa Monica CA (April 1967).
3. Past, Present and Future
4. R. Mattison "An introduction to the model theory of first-order predicate logic and a related temporal logic " Memo. RM-5580-1-PR Rand Corporation Santa Monica CA (June 1969). R. Mattison "An introduction to the model theory of first-order predicate logic and a related temporal logic " Memo. RM-5580-1-PR Rand Corporation Santa Monica CA (June 1969).