The derivation of hierarchies of algorithms on matrices (1991)

by J Jeuring
Venue:Constructing Programs from Specifications