Universal algebra for computer scientists | lit.salon