title: Abstraction is all we've got: auxiliary variables considered harmful.
creator: Jones, Cliff B
subject: Methodology
date: 2009
type: Conference or Workshop Item
type: NonPeerReviewed
identifier:   Jones, Cliff B  (2009) Abstraction is all we've got: auxiliary variables considered harmful.  In: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems, 14-18 Sept. 2009, Dagstuhl.    (In Press)  
relation: http://deploy-eprints.ecs.soton.ac.uk/181/