Task sequencing language for specifying distributed Ada systems - T&l (1987)

by David Luckham, David Helmbold, S Meldal, Doug Bryan, M A Haberler