Logical construction of programs door Warnier