1. Quantales, observational logic and process semantics;Abramsky;Math. Structures Comput. Sci.,1993
2. Theory of Mathematical Structures;Adámek,1983
3. Abstract and Concrete Categories;Adámek,1990
4. A Gelfand representation theory of C∗-algebras;Akemann;Pacific J. Math.,1970
5. How quantales emerge by introducing induction within the operational approach;Amira;Helv. Phys. Acta,1998