Deriving a Correct Computer. - Li-Guo Wang (TPHOLs, 1992)

Formal design of a class of computers. - Li-Guo Wang; Michael Mendler (CHARME, 1995)

Abstraction of Hardware Construction. - Li-Guo Wang; Michael Mendler (HOA, 1995)

Formal derivation of a class of computers. - Li-Guo Wang (1995)

Variable Knowledge Based System. - Li-Guo Wang (International Hong Kong Computer Society Database Workshop, 1996)