Victor Malyshkin: Two Approaches to Programs Synthesis or Implementation of Partially Defined Theories. SoMeT 2012: 285-291