Appears also as (1997)

by iv64 pp
Venue:University of Cambridge Computer Laboratory