Scritical Pairs and Sunification

by Joseph Goguen, Monica Marcus