The lattice of prefilters of an EQ-algebra
On AFS algebra––Part II
Max-plus algebra in the history of discrete event systems