Spécification et spécialisation de Patterns en UML et B. - Rafael Marcano-Kamenoff; Nicole Lévy; Francisca Losavio (LMO, 2000)