Fabio PaternóBooksHuman-Computer InteractionInteractive Systems: Design, Specification, and VerificationInteractive systemsAuthor data: Open Library