Karl Lermer Paul A. Strooper A Single Complete Refinement Rule for Demonic Specifications. 564-579 http://link.springer.de/link/service/series/0558/bibs/1872/18720564.htm 2000 conf/ifipTCS/2000 IFIP TCS db/conf/ifipTCS/ifipTCS2000.html#LermerS00