Robert McCartney: Program synthesis: an automationist's view. COMPCON 1989: 226-231