Formal Methods for Interactive Systems (Computers and People Series)Alan John Dix · First published 1991Open the Tome
