David Hemer Gregory Long Paul A. Strooper Plug-in Proof Support for Formal Development Environments. 69-79 2005 conf/cats/2005 CATS http://crpit.com/confpapers/CRPITV41Hemer.pdf db/conf/cats/cats2005.html#HemerLS05