Gérard Berry Stable Models of Typed lambda-Calculi. 72-89 1978 conf/icalp/1978 ICALP db/conf/icalp/icalp78.html#Berry78 http://dx.doi.org/10.1007/3-540-08860-1_7