1995
Book Article
Title

A fine-grain sort discipline and its application to formal program construction

Author(s)
Burghardt, J.
Mainwork
Language
English
FIRST