Li-Guo Wang
3 references under this name, matched as it is written. Somebody else may write under it too, and the same person may appear here spelled another way.
Formal Derivation of A Class of Computers
Li-Guo Wang (1994)
Deriving a Correct Computer
Li-Guo Wang (1993) · Higher Order Logic Theorem Proving and its Applications · Elsevier
Hardware synthesis logic and its independence
Li-Guo Wang (1991) · Manuscript. Laboratory for Foundations of Computer Science, Computer Science Department, University of Edinburgh, November