Digest of papers : intellectual leverage (Computer Society Press of the IEEE ; Order from IEEE Computer Society, 1987)