Title: Vérification Intégrée
First published: 1978