Automatic Verification of Speed-Independent Circuit Designs Using the Circal System. - Andrew M. Bailey (CHARME, 1993)

An Exercise in the Automatic Verification of Asynchronous Designs. - Andrew M. Bailey; George Alexander McCaskill; George J. Milne (Formal Methods Syst. Des., 1994)

Sequencer circuits for VLSI programming. - Andrew M. Bailey; Mark B. Josephs (ASYNC, 1995)

The Use of SI-Algebra in the Design of Sequencer Circuits. - Mark B. Josephs; Andrew M. Bailey (Formal Aspects Comput., 1997)

Carbon-Neutral Bitcoin for Nation States. - Troy Cross; Andrew M. Bailey (Financial Cryptography Workshops, 2022)