Parallel program synthesis through domain and range transformers. - Ari Pekka Laakkonen (1996)