FIDIL reference manual (1993)

by Paul N Hilfinger, Phillip Colella