| 2007 | ||
|---|---|---|
| 3 | G. W. Hamilton: Distillation: extracting the essence of programs. PEPM 2007: 61-70 | |
| 2 | G. W. Hamilton: Distilling Programs for Verification. Electr. Notes Theor. Comput. Sci. 190(4): 17-32 (2007) | |
| 2006 | ||
| 1 | G. W. Hamilton: Poitín: Distilling Theorems From Conjectures. Electr. Notes Theor. Comput. Sci. 151(1): 143-160 (2006) | |