@inproceedings{BeierleKernIsberner2007ASM,
   AUTHOR = "C. Beierle and G. Kern-Isberner",
   EDITOR = {A. Prinz},
   TITLE = "An {ASM} Refinement and Implementation of the 
            {C}ondor System using Ordinal Conditional Functions",
   BOOKTITLE = "Proceedings 14th International Workshop on 
                     Abstract State Machines (ASM'2007)",
   PUBLISHER = {Agder University College, Grimstad, Norway},
   ADDRESSnnn = "Grimstad, Norway",
   ISBN = "978-82-7117-627-3",
   YEAR = 2007 }