The Smyth completion: a common foundation for denotational semantics and complexity analysis

1995 Theoretical Computer Science  
doi:10.1016/0304-3975(96)80141-1 fatcat:2rpt7dgkkncqjic42lsk5jteqi