Finitely based monoids - Olga Sapir (2014)