%A John D. Gannon
%T Language design to enhance programming reliability
%R Technical Report CSRG-47
%I Computer Systems Research Group, Department of Computer Science,
University of Toronto
%C Ontario, Canada
%D January 1975
%P 247
%O Ph.D. thesis

%A Leonard I. Vanek
%T Hierarchical coroutines: a mechanism for improved program structure
%R Technical Report CSRG-99
%I Computer Systems Research Group, Department of Computer Science,
University of Toronto
%C Ontario, Canada
%D February 1979

%A D. Hugh Redelmeier
%T Eliminating the variable from Dijkstra's mini-language
%R Technical Report CSRG-104
%I Computer Systems Research Group, Department of Computer Science,
University of Toronto
%C Ontario, Canada
%D July 1979
%P 15

%A Geovane Cayres Magelhaes
%T Improving the performance of data base systems
%R Technical Report CSRG-138
%I Computer Systems Research Group, Department of Computer Science,
University of Toronto
%C Ontario, Canada
%D December 1981
%O Ph.D. thesis