Computer and information science New Paradigms in Computer Aided Verification Gavin Dickens 2026979-8-89782-085-6
Human computer interaction New Paradigms in Human-Computer Interaction Una Hudson 2026979-8-89782-613-1