1. Bolognesi, T. and E. Brinksma, “Introduction to the ISO Specification Language LOTOS”, Computer Net. and ISDN Sys., Vol. 14, No. 1, pp 25–59, North-Holland, 1988.
2. Bolognesi, T., F. Lucidi., and S. Trigila “Converging Towards a Timed LOTOS Standard.” Computer Standards and Interfaces, vol. 16, pp 87–118, 1994.
3. Bowman, H., G.S. Blair, L. Blair and A. Chetwynd. “Time Versus Abstraction in Formal Description.” FORTE'93, North-Holland, pp. 467–482, 1993.
4. Bowman, H. and J. Derrick. “A True Concurrency Semantics for Quality of Service Specification and Validation”. MmNet 95, IEEE Computing Press, 1995.
5. Bowman, H. “A True Concurrency Approach to Time Extended LOTOS (Revised Version)”, Internal Report No. 17-96, University of Kent, 1996.