For more information about our Oberon system you should take a look at http://www.mathematik.uni-ulm.de/oberon/ which contains some introductory material, full documentation and all sources of the library (in hyper text form).