Y. Sato, Y. Morimoto, Tadao Ichikawa. Program Refinement Using Generic Object. In SEKE 92, The 4th International Conference on Software Engineering and Knowledge Engineering, June, 15-20 1992, Capri, Italy. pages 18-25, Knowledge Systems Institute, 1992. [doi]
Abstract is missing.