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