Adrian Johnstone, Elizabeth Scott, Giorgios Robert Economopoulos
The GTB and PAT tools
LDTA, 2004.
@article{LDTA-2004-JohnstoneSE04a, author = "Adrian Johnstone and Elizabeth Scott and Giorgios Robert Economopoulos", doi = "10.1016/j.entcs.2004.06.003", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "173--175", title = "{The GTB and PAT tools}", volume = 110, year = 2004, }