Accessible Formal Methods for Verified Parser Development. - Letitia W. Li; Greg Eakman; Elias J. M. Garcia; Sam Atman (SP (Workshops), 2021)