LPI encodings of choices, exceptions and first-class events (1998)

by Luís Caires , Luis Monteiro