Grazyna Mirkowska Andrzej Salwicki Oskar Swida Algorithmic Logic + SpecVer = the Methodology for High Integrity Programming - Invited Paper. 1-17 2008 85 Fundam. Inform. 1-4 http://iospress.metapress.com/content/q542qj12j986441u/ db/journals/fuin/fuin85.html#MirkowskaSS08