Visual Contracts - A Way to Reason about States and Cardinalities in IT System Specifications. - José Diego De la Cruz; Lam-Son Lê; Alain Wegmann (ICEIS (3), 2006)

Validation of Visual Contracts for Services. - José Diego De la Cruz; Lam-Son Lê; Alain Wegmann (MSVVEIS, 2006)