A semantics for shape (1995)

by C B Jay
Venue:Science of Computer Programming