Formal Representation of Computer Architectures (Simulation, Language, Hardware) - Richard Lunt Norton Jr. (1985)