Liu, X. (1998, January). Reverse engineering through formal abstraction. Paper presented at Post-graduate Conference