Abha Moitra
Tata Institute of Fundamental Research, Bombay, India
The design of data type specifications
ICSE '76 Proceedings of the 2nd international conference on Software engineering