Cliff B. Jones Constructing a Theory of a Data Structure as an Aid to Program Development. 119-137 1979 11 Acta Inf. db/journals/acta/acta11.html#Jones79