@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},
}

@MISC{Breese90,
    AUTHOR      = {John S. Breese},
    TITLE       = {Construction of Belief and Decision Networks},
    HOWPUBLISHED       = {Unpublished, submitted to Journal X},
    YEAR        = {1982}
}

@incollection{Chandrasekaran83,
	author = "Chandrasekaran, B. and Mittal, S.",
	title = "Conceptual representation of medical knowledge for diagnosis
		by computer:MDX and related systems",
	editor = "M. C. Yovits",
	booktitle = "Advances in computers",
	publisher = "Academic Press",
	address = "New York",
	year = 1983,
	volumne = 23,
	pages = "217-93",
}

@phdthesis{Chapman90,
	author = {David Chapman},
	title = {Vision, Instruction, and Action},
	school = {MIT, Artificial Intelligence Laboratory},
	year = {1990}
}

@techreport{Cooper88,
	author = {G. Cooper and E. Horvitz and D. Heckerman},
	title = {A method for temporal probabilistic reasoning
		belief networks},
  	institution =	}Medical Computer Science,
		 Stanford University, Stanford, CA},
  	year =	{1988},
  	number =	{KSL-88-30}
}