FM '99 - Formal methods : World Congress on Formal Methods in the Development of Computing Systems : Toulouse, France, September 20-24, 1999 : proceedings. - Wing, Jeannette M.; Woodcock, Jim, 1956-; Davies, Jim, 1964- (Lecture notes in computer science ;, 1999)