• Finiteness and rational sequences, constructivelyUustalu, Tarmo; Veltri, NiccoloJournal of functional programming2017 / art. e13, p. 1-20 https://doi.org/10.1017/S0956796817000041 https://www.scopus.com/sourceid/28345 https://www.scopus.com/record/display.uri?eid=2-s2.0-85017172351&origin=inward&txGid=c0358c76d228c5ce9f1f2687aa9a8303 https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20FUNCT%20PROGRAM&year=2023 https://www.webofscience.com/wos/woscc/full-record/WOS:000398525100001
• PhD abstractsHutton, GrahamJournal of functional programming2017 / art. e25, p. 1-18 https://doi.org/10.1017/s0956796817000181