Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.

The Derivatives Sourcebook is a citation study and classification system that organizes the many strands of the derivatives literature and assigns each citation to a category. Over 1800 research articles are collected and organized into a simple web-based searchable database. We have also included the 1997 Nobel lectures of Robert Merton and Myron Scholes as a backdrop to this literature.

This bibliography on the water and geological information or Liberia was begun in 1995 as a request through the US Department or State by the Government or Liberia. It brings together selected citations from a variety of different cartographic, geographical, geological and hydrological resources and specialized library collections. Most of the citations have location information on where these items can be located and used on site, and either borrowed through inter-library loan or purchased through a commercial document delivery services.

This bibliography on the geographical, water and geological information ofSomalia was begun to fill a request for current information on that war tornstate. This bibliography brings together selected citations from a variety ofdifferent cartographic, geographical, geological and hydrological resourcesand a number of specialized library collections. Most of the citations havelocation information on where these items can be located and either used onsite, or borrowed through inter-library loan, or where copies of the itemscan be purchased from the originating source, or through commercial documentdelivery services.