UFL: An Experimental Frame Language Based on Abstract Data Types. - Young, Steve J.; Proctor, C. (Comput. J., 1986)