"IDRIS: Interactive Design of Reactive Information Systems."

Peter Osmon, Philip M. Sleat (1992)
a service of Schloss Dagstuhl - Leibniz Center for Informatics