"TAPSOFT'93: Theory and Practice of Software Development" - читать интересную книгу автора (Marie-Claude Gaudel, Jean-Pierre Jouannaud)