Jan van Leeuwen Jirí Wiedermann On Algorithms and Interaction. 99-113 http://link.springer.de/link/service/series/0558/bibs/1893/18930099.htm 2000 conf/mfcs/2000 MFCS db/conf/mfcs/mfcs2000.html#LeeuwenW00