and B.Lampson. "A kernel language for abstract data types and modules (0)

by R Burstall
Venue:Lecture