Los resultados de su investigación se anunciaron por primera vez en tres Diálogos cortos agregados como Apéndice a su traducción latina de "Leviathan", publicada en Ámsterdam en 1668.