@MastersThesis{ Frigo98,
author = {Matteo Frigo},
month = jan,
school = {Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science},
title = {The Weakest Reasonable Memory Model},
year = {1998}
}