S., Sankar
-
ANNA: a language for annotating Ada programs
TSL: task sequencing language
SIGAda '85 Proceedings of the 1985 annual ACM SIGAda international conference on Ada