Merkliste 
 1 Ergebnisse 
 
1

Semantic specification of Ada packages:

, In: Proceedings of the 1985 annual ACM SIGAda international conference on Ada,