William L. Scherlis Dana S. Scott First Steps Towards Inferential Programming. 199-212 1983 IFIP Congress db/conf/ifip/ifip83.html#ScherlisS83