Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Euripides IV: Helen, the Phoenician Women, Orestes
Euripides
Science Since Babylon
Derek J. deSolla Price
Euripides II: Andromache, Hecuba, the Suppliant Women, Electra
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti