Graham Hutton Poradie kníh

Tento autor sa zaoberá formálnymi prístupmi k tvorbe a overovaniu programov, s cieľom vyvinúť jednoduché, ale mocné techniky na písanie a odvodzovanie programov. Jeho práca sa zameriava na matematickú štruktúru programov a pokrýva širokú škálu tém, ako sú funkcionálne parsovanie, relačné programovanie a koinduktívne typy. Jeho výskum kladie dôraz na elegantné a efektívne metódy v informatike.