Catholijn M. Jonker Jan Treur Wieke de Vries Reuse and Abstraction in Verification: Agents Acting in Dynamic Environments. 253-267 http://link.springer.de/link/service/series/0558/bibs/1957/19570253.htm 2000 conf/aose/2000 AOSE db/conf/aose/aose2000.html#JonkerTV00