The Giant of MarathonSteve Reeves, Mylène Demongeot, Sergio Fantoni, Alberto Lupo, Daniele Vargas, Gianni Loti, Miranda Campa, Philippe Hersent, Anita Todesco, Ivo Garrani · First published 2015Open the Tome
Abstract State Machines, Alloy, B and ZMarc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau, Steve Reeves · First published 2010Open the Tome
Squawk 7500 Terrorist Hijacks Pacifica Flight 762Captain Steve a. Reeves · First published 2008Open the Tome
Building the Classic Physique -The Natural Way Hard CoverSteve Reeves, John Little, George Helmer, Bob Woff · First published 2003Open the Tome
Building the Classic PhysiqueSteve Reeves, John Little, Armand Tanny · First published 1995Open the Tome
An example of algorithm development in Intuitionistic Type TheorySteve Reeves · First published 1987Open the Tome
Implementation of a theorem-prover based on semantic tableauxSteve Reeves · First published 1987Open the Tome
