SISAL 2.0 reference manual (1991)

by J T Feo A P W Bohm, D C Cann, R R Oldehoeft