%A Dennis J. McLeod
%T High level expression of semantic integrity specifications
in a relational database system
%R Report MIT/LCS/TR-165
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D September 1976
%P 119

%A Barry Goldman
%T Deadlock detection in computer networks
%R Report MIT/LCS/TR-185
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D September 1977
%P 180

%A William B. Ackerman
%T A structure memory for data flow computers
%R Report MIT/LCS/TR-186
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D August 1977
%P 125

%A Michael D. Schroeder
%A David D. Clark
%A Jerome H. Saltzer
%A Douglas H. Wells
%T Final report of the Multics kernel design project
%R Report MIT/LCS/TR-196
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D June 1977
%P 111

%A David Harel
%T Logics of programs: axiomatics and descriptive power
%R Report MIT/LCS/TR-200
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D May 1978
%P 151

%A Mark S. Laventhal
%T Synthesis of synchronization code for data abstractions
%R Report MIT/LCS/TR-203
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D June 1978
%P 228

%A Michael O. Rabin
%T Probabilistic algorithms in finite fields
%R Report MIT/LCS/TR-213
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D January 1979
%P 26

%A Karen R. Sollins
%T Copying complex structures in a distributed system
%R Report MIT/LCS/TR-219
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D May 1979
%P 109

%A Maurice Peter Herlihy
%T Transmitting abstract values in messages
%R Report MIT/LCS/TR-234
%I Laboratory for Computer Science,
Massachusetts Institute of Technology
%C Cambridge, Massachusetts
%K MIT LCS
%D April 1980
%P 121