Merkliste 
 1 Ergebnisse 
 
1

Formal specification and object-oriented design:

Buchanan, Mary ; Britton, Carol
Microprocessing and Microprogramming.  34 (1992)  1-5 - p. 19-22 , 1992