Thomas W. Strohotte;Gordon V. Cormack
Univ. of Waterloo, Ontario, Canada;Univ. of Waterloo, Ontario, Canada
Demonic memory for process histories
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Proof of correctness of Ressel's adOPTed algorithm
Information Processing Letters