http://www-formal.stanford.edu/jmc/