Sannella D. T. and A. Tarlecki. Toward formal development of ML programs: foundations and methodology. In Proc. Joint Conf. on Theory and Practice of Software Development, pages 375-389. Springer LNCS 352, 1989.

(1989)

Languages mentioned