Design, Specification and Verification of Interactive Systems '96Francois Bodart, Jean Vanderdonckt · First published 1996Open the Tome
