Computer Safety, Reliability, and SecurityMichael Douglas Harrison, Mark-Alexander Sujan · First published 2008Open the Tome
Design, Specification and Verification of Interactive Systems '97Michael Douglas Harrison · First published 1997Open the Tome
