http://www.cs.uwaterloo.ca/journals/JIS/VOL13/Sofo/sofo6.html