leastfixedpoint

Archived tweet #1456 from the @leastfixedpoint Twitter Archive
@conal http://bit.ly/eQpSEa, Ritchie & Thompson 1973