(* 
http://www.cs.cmu.edu/~tom7/ssapre/
https://github.com/corngood/mono/blob/master/docs/ssapre.txt

http://citeseer.ist.psu.edu/kennedy99partial.html

 *)