Title: Design and verification of interactive information systems using TAXIS
Subjects: Electronic data processing, Taxis (Computer program), Interactive computer systems