initial commit of abridged bib file for universal algebra