Ali Habibi, Sofiène Tahar: AsmL Semantics in Fixpoint. Abstract State Machines 2005: 233-246