On the correctness of refinement steps in program development - Back, Ralph-Johan (1978)
Zugl.: Helsinki, Univ., Diss.