David Navarre Philippe A. Palanque Rémi Bastide Ousmane Sy Structuring Interactive Systems Specifications for Executability and Prototypability. 97-119 http://link.springer.de/link/service/series/0558/bibs/1946/19460097.htm 2000 DSV-IS db/conf/dsvis/dsvis2000.html#NavarrePBS00