Iván Bach
Hungarian Academy of Sciences, Badapest
Reference Manual for the ADA Programming Language
On the type concept of Ada
ACM SIGAda Ada Letters