Fischer S, Hu Z, Pacheco H.? 2015.??The essence of bidirectional programming. Science China Information Sciences. 58:1?21.