Congruent Representation of Standard Denotational Semantics.

Published in: IFIP Congress (1986)

Keyphrases