selected publications chapter An Architecture for Interactive Program Provers. Lecture Notes in Computer Science. 63-77. 2000 conference paper Application of Architecture Implementation Patterns by Incremental Code Generation. . 2016