Deriving and using destructive data types, IFIP TC2 working conference on program specification and transformation (0)

by I A Mason