Axel Dold Software Development in PVS Using Generic Development Steps. 146-161 http://link.springer.de/link/service/series/0558/bibs/1766/17660146.htm 1998 conf/dagstuhl/1998gp Generic Programming db/conf/dagstuhl/generic1998.html#Dold98