Full abstraction for call-by-value sequential languages. Unpublished manuscript (1993)

by J G Riecke, R Viswanathan