http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Outline of a mathematical theory of computation
Oxford University Computing Laboratory, Programming Research Group
Computer systems. Programming. Languages. Mathematical models (BNB/PRECIS)
Programming languages (Electronic computers)
Technical monographs (Oxford University Computing Laboratory. Programming Research Group) ; PRG-2