"Jeffrey Zucker"@fr . . . . . . . . . . . . "978"^^ . . . . . . . . . "Jacobus Willem \u201EJaco\u201C de Bakker (1939-2012) est un informaticien th\u00E9oricien n\u00E9erlandais."@fr . . . . "Arie de Bruin"@fr . . . . . "191401295"^^ . . . . . "Erik P. de Vink"@fr . . . . . . . . "4175"^^ . . . . . . . . "Jaco de Bakker"@nl . . . "Jacobus W. de Bakker"@fr . . . . "Jacobus Willem \u201EJaco\u201C de Bakker (1939-2012) est un informaticien th\u00E9oricien n\u00E9erlandais."@fr . . . . . . "Jaco de Bakker"@de . . "Mathematical theory of program correctness"@fr . . . . . . . . . "xv+505"@fr . . . . . . . . . "1980"^^ . . . . . . . . . . "Jaco de Bakker"@pt . . . . . "Control flow semantics"@fr . . . "Prentice-Hall international series in computer science"@fr . . . . "11603186"^^ . "1996"^^ . . . . . "xvii+564"@fr . "2012-12-13"^^ . . . . "Jacobus Willem de Bakker"@fr . . . . .