Δημητράκος, Θ.,Maibaum, Thomas S. E., On the role of interpolation in stepwise refinement, 181-186, 1997, Πανεπιστήμιο Κύπρου,