Abstraction with Frame I

1982