<https://hal.archives-ouvertes.fr/hal-01768758#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/203000579/id> .
<https://hal.archives-ouvertes.fr/hal-01768758#id>	<http://purl.org/dc/elements/1.1/date>	"2018" .
<https://hal.archives-ouvertes.fr/hal-01768758#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/120558513/id> .
<https://hal.archives-ouvertes.fr/hal-01768758#id>	<http://id.loc.gov/vocabulary/relators/aut>	<http://www.idref.fr/177203455/id> .
<https://hal.archives-ouvertes.fr/hal-01768758#id>	<http://purl.org/dc/terms/bibliographicCitation>	"Azmy Noran, Merz Stephan, Weidenbach Christoph. A Machine-Checked Correctness Proof for Pastry. Science of Computer Programming, Elsevier, 2018, 158, pp.64-80. &#x27E8;10.1016/j.scico.2017.08.003&#x27E9;" .