FIDIL Reference Manual (CSD-93-759)
Paul N. Hilfinger and Phillip Colella