Jan Madsen Bjarne Hald An approach to interface synthesis. 16-21 1995 conf/isss/1995 ISSS http://doi.acm.org/10.1145/224486.224490 db/conf/isss/isss1995.html#MadsenH95