The FDR tool and this User Manual are Copyright © 1992-97, Formal Systems (Europe) Ltd.
Go to the Next section, the Detailed Contents, or the FS(E)L Home Page.