Graham Hutton Pořadí knih

Tento autor se zabývá formálními přístupy k tvorbě a ověřování programů, s cílem vyvinout jednoduché, ale mocné techniky pro psaní a odvozování programů. Jeho práce se zaměřuje na matematickou strukturu programů a pokrývá širokou škálu témat, jako jsou funkcionální parsování, relační programování a koinduktivní typy. Jeho výzkum klade důraz na elegantní a efektivní metody v informatice.