Task Sequencing Languages for Specifying Distributed Ada Systems. - David C. Luckham; David P. Helmbold; Sigurd Meldal; D. L. Bryan; M. A. Haberler (System Development and Ada, 1986)

Task Sequencing Language for Specifying Distributed Ada Systems. - David C. Luckham; David P. Helmbold; D. L. Bryan; M. A. Haberler (PARLE (2), 1987)