雷内·范·贝文;罗德尼·G·唐尼。;研究员Michael R。;塞尔盖·加斯佩斯;弗朗西斯·罗萨蒙德。 超图的Myhill-Nerode方法。 （英语） Zbl 1335.68098号 算法 73，第4期，696-729（2015）.MSC公司：2017年第68季度 05C65号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，Algorithmica 73，No.4，696--729（2015；Zbl 1335.68098） 全文： DOI程序 arXiv公司
雷内·范·贝文;研究员Michael R。;塞尔盖·加斯佩斯;弗朗西斯·罗萨蒙德。 超图的Myhill-Nerode方法。 （英语） 兹比尔1329.68129 蔡磊珍（编辑）等，《算法与计算》。2013年12月16日至18日，第24届国际研讨会，2013年国际会计准则委员会，中国香港。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-45029-7/pbk）。计算机科学课堂讲稿8283，372-382（2013）。MSC公司：2017年第68季度 05C65号 05C85号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Bevern}等人，Lect。注释计算。科学。8283、372--382（2013年；Zbl 1329.68129） 全文： DOI程序 arXiv公司