Constructing Reusable Specifications Through Analogy. - Chia-Chu Chiang; David Neubart (SAC, 1999)

A formal method for proving programs correct. - Chia-Chu Chiang; David Neubart (SMC, 2001)