Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction)

Bernhard Möller. Preface (Selected Papers from the Third International Conference on the Mathematics of Program Construction). Science of Computer Programming, 26(1-3):3, 1996.

Abstract

Abstract is missing.