Design and verification of the IBM System z10 I/O subsystem chipsThomas SchlipfMarkus M. Helmset al.2009IBM J. Res. Dev
Design and verification of a stack processor virtual componentManfred StadlerMarkus Thalmannet al.2001IEEE Micro