FootNote
IVEE is available on anonymous ftp from ftp.cs.chalmers.se:/pub/IVEE. See also the WWW-page http://www.cs.chalmers.se/SSKKII/ivee.html