"FM '99, Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings: v. 1 " - читать интересную книгу автора (Jeannette M. Wing, Jim Woodcook, Jim Davies)