An Approach to Correctness Proofs of Semicoroutines.

Ole-Johan Dahl

Browse the full MFCS paper archive.