A semantics for shape. Science of computer programming (1995)

by C B Jay