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