Yousefi Ghalehjoogh, Fatemeh (2014) Verification of the HARPO language. Masters thesis, Memorial University of Newfoundland.