1. Domain Theory;Abramsky,1994
2. Quantales, observational logic and process semantics;Abramsky;Math. Struct. Comput. Sci.,1993
3. A categorical generalization of Scott domains;Adámek;Math. Struct. Comput. Sci.,1997
4. Locally Presentable and Accessible Categories;Adámek,1994
5. Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh, Epistemic actions as resources, in: Workshop on Logics for Resources, Processes, and Programs, Turku, Finland, 2004