Liu, Xiaodong, "Reverse engineering through formal abstraction.", , 1998