Automating the synthesis of functional programs in constructive type theory - Smaill, Alan; Green, Ian (University <Edinburgh>, 1995)