Title: Automatic discovery of heuristics for non-deterministic programs
First published: 1979