ผู้เขียน: Jean-Christophe Filliatre

Jean-Christophe Filliatre & Christine Paulin-Mohring: Types for Proofs and Programs