@article{DBLP:journals/ibmrd/BairGWKSMLWWMVAHRH04,
  author    = {Dean G. Bair and
               Steven M. German and
               William D. Wollyung and
               Edward J. Kaminski Jr. and
               James Schafer and
               Michael P. Mullen and
               William J. Lewis and
               Rebecca Wisniewski and
               Joerg Walter and
               Steven Mittermaier and
               Visda Vokhshoori and
               Robert J. Adkins and
               Michael Halas and
               Thomas Ruane and
               Ursel Hahn},
  title     = {Functional verification of the z990 superscalar, multibook
               microprocessor complex},
  journal   = {IBM Journal of Research and Development},
  volume    = {48},
  number    = {3-4},
  year      = {2004},
  pages     = {347-366},
  ee        = {http://dx.doi.org/10.1147/rd.483.0347},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}