Three Approaches to Type Structure. in: Mathematical Foundations of Software Development (1985)

by J C Reynolds
Venue:Proceedings of the International Joint Conference on Theory and Practice of Software Development