- CSB - MetaPress - Google - Bing - Yahoo
 | 1990 | |
|---|---|---|
| 3 |      | Jordi Farrés-Casals: Proving Correctness wrt Specifications with Hidden Parts. ALP 1990: 25-39 |
| 1989 | ||
| 2 | | Jordi Farrés-Casals: Proving Correctness of Constructor Implementations. MFCS 1989: 225-235 |
| 1988 | ||
| 1 |  | Jordi Farrés-Casals: Proving Constructor Implementations in Two Steps. ADT 1988 |