Deriving laws by program specialization (1997)

by W N Chin, A Takano