The META-Language: A Reference Manual

Dynamic sets and their application in VDM

SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice

Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of prolog

POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Data structures for CAD object description

DAC '81 Proceedings of the 18th Design Automation Conference