David P. Helmbold, David C. Luckham. TSL: task sequencing language. In John G. P. Barnes, Gerald A. Fisher, editors, Proceedings of the 1985 Annual ACM SIGAda International Conference on Ada, SIGAda 1985, Paris, France, May 14-16, 1985. pages 255-274, Cambridge University Press, 1985. [doi]
Abstract is missing.