Proving congruence of simulation orderings in functional languages. Unpublished manuscript (1989)

by Douglas Howe