Program refinement in UNITY-like environments

Rob T. Udink. Program refinement in UNITY-like environments. University Utrecht, 1995.

Abstract

Abstract is missing.