Formalizing design spaces: Implicit invocation mechanisms (1991)

by David Garlan, David Notkin
Venue:In VDM'91: Formal Software Development Methods