Proving the correctness of Simpson's 4-slot ACM using an assertional rely-guarantee method /
Henderson, N.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle, Computing Science,
2003.
"June, 2003."
Caption title.