Who’s afraid of ownership types (1999)

by D Clarke, J Noble, J Potter