Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Modelling and measurement of Prolog data | 4 | 2.82 | 1991 |
| Quality assuring specification and design | 1 | 1.14 | 1990 |
| Complexity Control In Logic-Based Programming | 6 | 6.74 | 1985 |
| A generalised mathematical theory of structured programming | 10 | 4.53 | 1985 |
| Structured programming: a tutorial guide | 3 | 0.49 | 1984 |
| A Design Methodology in Prolog Programming | 2 | 0.41 | 1982 |
| Synthesis and Structural Analysis of Abstract Programs | 7 | 1.63 | 1980 |