On the correctness of refinement steps in program develoment - Back, Ralph-Johan (Univ., 1978)
Keywords: Hochschulschrift