Application of a transformational software development methodology to VLSI design. - Jack Mostow; Bob Balzer (J. Syst. Softw., 1984)

Securely wrapping COTS products. - Bob Balzer (ACM SIGSOFT Softw. Eng. Notes, 2000)

Adding Deductive Logic to a COTS Spreadsheet. - Marcelo Tallis; Rand Waltzman; Bob Balzer (AAAI Fall Symposium: Integrating Reasoning into Everyday Applications, 2006)