| Title | Three-Layered Source-Code Modelling |
| Publication Type | Journal Article |
| Year of Publication | 2004 |
| Authors | Cox, A., and C. Clarke |
| Journal | Electronic Notes in Theoretical Computer Science (ENTCS) |
| Volume | 94 |
| Pagination | 71--79 |
| DOI | 10.1016/j.entcs.2004.01.003 |
