Jianjiang Ceng Weihua Sheng Manuel Hohenauer Rainer Leupers Gerd Ascheid Heinrich Meyr Gunnar Braun Modeling Instruction Semantics in ADL Processor Descriptions for C Compiler Retargeting. 235-246 2006 43 VLSI Signal Processing 2-3 http://dx.doi.org/10.1007/s11265-006-7273-3 db/journals/vlsisp/vlsisp43.html#CengSHLAMB06