https://cs.uwaterloo.ca/journals/JIS/VOL15/Sofo/sofo12.pdf