Numerical Validation in Current Hardware ArchitecturesAnnie A. M. Cuyt, Walter Krämer, Wolfram Luther, Peter Markstein · First published 2009Open the Tome
Computational systems bioinformaticsPeter Markstein, Ying Xu · First published 2006 · Latest edition 2007Open the Tome
Operating system specification using very high level dictionsPeter Markstein · First published 1975Open the Tome
