FM 99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 2 by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 1999)