Making Pointers Safe in System Programming LanguagesDavid B. Lomet1985IEEE Transactions on Software Engineering
Subsystems of processes with deadlock avoidanceDavid B. Lomet1980IEEE Transactions on Software Engineering