Program Slices: Formal, Psychological, And Practical Investigations Of An Automatic Program Abstraction Method. | Synapse