William M. Spears Kenneth A. De Jong Dining with GAs: Operator Lunch Theorems. 85-101 1998 conf/foga/1998 FOGA db/conf/foga/foga1998.html#SpearsJ98