Jif Reference Manual
Stephen Chong, Andrew C. Myers, K. Vikram, Lantian Zheng
April 2008
http://www.cs.cornell.edu/jif