1. Alchourrón, C.E., Gärdenfors, P., Makinson, P.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510–530 (1985)
2. AsmL webpage (2007),
http://research.microsoft.com/foundations/asml/
3. Lecture Notes in Computer Science;C. Beierle,2003
4. Beierle, C., Kern-Isberner, G.: An ASM refinement and implementation of the Condor system using ordinal conditional functions. In: Prinz, A. (ed.) Proceedings 14th International Workshop on Abstract State Machines (ASM 2007). Agder University College, Grimstad, Norway (2007)
5. Lecture Notes in Computer Science;C. Beierle,2008