Merkliste 
 1 Ergebnisse 
 
1

Normal forms for algebraic specifications of reusable Ada p..:

, In: Proceedings of the conference on TRI-Ada '91: today's accomplishments; tomorrow's expectations,
Steigerwald, Robert ; Berzins, Valdis - p. 248-256 , 1991