Markku Syrjänen

• On construction of correct programs as a two-level process