1. Allen, J., 1983, ‘Maintaining Knowledge about Temporal Intervals', Communications of the ACM 26, 832–843.
2. Allen, J. & P. Hayes, 1985, ‘A Commonsense Theory of Time', Proceedings IJCAI 1985, 528–531.
3. Anger, F., 1986, On Lamport's Interprocessor Communication Model, Department of Mathematics, University of Puerto Rico, Rio Piedras.
4. Apt, K., ed., 1985, Logics and Models of Concurrent Systems, Springer, Berlin.
5. Bacon, J., 1985, ‘The Completeness of a Predicate-Functor Logic', Journal of Symbolic Logic 50, 903–926.