A course in BE-algebras. (2018)