| Title | Expressing Program Requirements Using Refinement Lattices |
| Publication Type | Journal Article |
| Year of Publication | 1994 |
| Authors | Robertson DStuart, Agustí-Cullell J, Hesketh J, Levy J |
| Journal | Fundamenta Informaticae |
| Volume | 21 |
| Issue | 3 |
| Pagination | 163–182 |
| URL | http://dx.doi.org/10.3233/FI-1994-2131 |
| DOI | 10.3233/FI-1994-2131 |
