Examples from Java Precisely (http://www.dina.kvl.dk/~sestoft/javaprecisely/)
Copyright (c) 2000 by Peter Sestoft, IT University of Copenhagen, Denmark 
and Royal Veterinary and Agricultural University, Copenhagen, Denmark

The source code for Example 1 is in file Example1.java, and so on.

Most examples are compiled and ready to run; running them requires Java
Development Kit 1.1 or later.

For instance, to run the program from Example 5, just type

   java Example5
