Run-control and service element code simulation for the S/390 microprocessor. - Stefan Koerner; Steven M. Licker (IBM J. Res. Dev., 1997)

Functional verification of the CMOS S/390 Parallel Enterprise Server G4 system. - Bruce Wile; Michael P. Mullen; Cara Hanson; Dean G. Bair; Kevin M. Lasko; Patrick J. Duffy; Edward J. Kaminski Jr.; Thomas E. Gilbert; Steven M. Licker; Robert G. Sheldon; William D. Wollyung; William J. Lewis; et al. (IBM J. Res. Dev., 1997)

Functional verification of the IBM System z10 processor chipset. - Christopher A. Krygowski; Dean G. Bair; Rebecca M. Gott; M. H. Decker; A. V. Giri; Christian Habermann; Matthias Heizmann; Stefan Letz; William J. Lewis; Steven M. Licker; H. Mallar; Edward C. McCain; et al. (IBM J. Res. Dev., 2009)