Erik Meineche Schmidt, Michael I. Schwartzbach. An Imperative Type Hierarchy with Partial Products. In Antoni Kreczmar, Grazyna Mirkowska, editors, Mathematical Foundations of Computer Science 1989, MFCS 89, Porabka-Kozubnik, Poland, August 28 - September 1, 1989, Proceedings. Volume 379 of Lecture Notes in Computer Science, pages 458-470, Springer, 1989.
Abstract is missing.