Publication in BibTeX Format

@TECHREPORT{AICPub1902:1970,
  AUTHOR={Rulifson, Johns F., Waldinger, Richard J., Derksen, Jan A.},
  TITLE={QA4 Working Paper},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Oct},
  NUMBER={42},
  YEAR={1970},
  KEYWORDS={QA4},
  ABSTRACT={The QA4 language is an enhanced omega-order language embedded in a system
     of control statements.},
  NOTE={Sponsored by Air Force Cambridge Research Labs contract F19628-70-C-0246;
     NASA contract NASW-2086; ARPA and NASA contract NAS12-2221.}
}