The SXM software package. http://www.cs.brown.edu/ ∼ mph/SXM/ README.doc (2005)

by M Herlihy