Derived properties and derived programs (1985)

by C Talcott