Méthodes formelles pour l'étude des programmes (Paul Gochet et Pascal Gribomont) Par Radu Lazarn° 67, 1994/5, pages 208 à 209 Voir l'article sur Persée