Listing of information structures defined by fixed-point operators.

Published in: Symposium on Programming (1974)

Keyphrases