Abstraction with Frame II

1982