"KORSO: Methods, Languages, and Tools for the Construction of Correct Software: Final Report " - читать интересную книгу автора (Manfred Broy, Stefan Jähnichen)