Completeness of many-sorted equational logic - Goguen, Joseph 1941-2006; Meseguer, José (Report / Center for the Study of Language and Information, 1984)