1. Domain theory;Abramsky,1994
2. Quantales, observational logic and process semantics;Abramsky;Math. Struct. in Comput. Sci.,1993
3. A categorical generalization of Scott domains;Adámek;Math. Struct. in Comput. Sci.,1997
4. Locally presentable and accessible categories;Adámek,1994
5. Baltag, Alexandru, Bob Coecke and Mehrnoosh Sadrzadeh, Epistemic actions as resources, paper presented at the workshop on Logics for Resources, Processes, and Programs, Turku, Finland, 2004