The use of the Mascot philosophy for the construction of Ada programs
Fickenscher, G.
Malvern RSRE
1983
Ada (Computer program language)