@ARTICLE{Barnes80,
    AUTHOR 	= {J. G. P. Barnes},
    TITLE 	= {An Overview of {Ada}},
    JOURNAL 	= {Software --- Practice and Experience},
    VOLUME 	= {10},
    PAGES 	= {851--887},
    YEAR 	= {1980},
}

@BOOK{Barnes89,
    AUTHOR 	= {J. G. P. Barnes},
    TITLE 	= {Programming in {Ada}},
    EDITION 	= {Third},
    PUBLISHER 	= {Addison-Wesley},
    YEAR 	= {1989},
}	

@ARTICLE{Hoare73,
    AUTHOR 	= {C. A. R. Hoare},
    TITLE 	= {An Axiomatic Definition of the Programming Language 
			{Pascal}},
    JOURNAL 	= {Acta Informatica},
    VOLUME 	= {2},
    NUMBER 	= {4},
    PAGES 	= {335--355},
    YEAR 	= {1973},
}

@INPROCEEDINGS{GanapathiFischer82,
    AUTHOR 	= {M. Ganapathi and C. N. Fischer},
    TITLE 	= {Description-Driven Code Generation Using Attribute 
			Grammars},
    BOOKTITLE 	= {Ninth Annual ACM Symposium on Principles of Programming 
		   	Languages},
    ADDRESS 	= {Albuquerque, New Mexico},
    PAGES 	= {108--119},
    MONTH 	= {January},
    YEAR 	= {1982},
}