Formalizing abstraction mechanisms . . . (1990)

by Thomas Frederick Melham