Tsl: Task sequencing language. The Ada International Conference (1985)

by D Helmbold, D Luckham
Venue:Proceedings of the 10th International Conference on Software Engineering