Hierarchical Random Simulation Approach for the Verification of S/390 CMOS Multiprocessors. - Jörg A. Walter; Jens Leenstra; Gerhard Döttling; Bernd Leppla; Hans-Jürgen Münster; Kevin W. Kark; Bruce Wile (DAC, 1997)

Processor subsystem interconnect architecture for a large symmetric multiprocessing system. - Pak-kin Mak; Gary E. Strait; Michael A. Blake; Kevin W. Kark; Vesselina K. Papazova; A. E. (Rick) Seigler; Gary A. Van Huben; Liyong Wang; George C. Wellwood (IBM J. Res. Dev., 2004)

Advancing reliability, availability, and serviceability with the IBM z13. - William J. Clarke; Luiz C. Alves; Kevin W. Kark; R. K. Overton; M. J. Snihur (IBM J. Res. Dev., 2015)