Anderson, P. and D.A. Basin: Program Development Schemata as Derived Rules. In: Journal of Symbolic Computation 30, 1, 5-36 (2000).
localid: C1256104005ECAFC-7753DE65EF5CDC83C12568B20045C96E-BasinAnderson00
http://edoc.mpg.de
The Max Planck Society does not take any responsibility for the content of this export.