Logical Construction Of Systems by Jean-Dominique Warnier