Danvy, O. (1996).
Type-Directed Partial Evaluation. I
Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium (s. 242-257). Association for Computing Machinery.
Elgaard, J., Klarlund, N.
& Møller, A. (1998).
MONA 1.x: New Techniques for WS1S and WS2S. I A. J. Hu & M. Y. Vardi (red.),
Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 – July 2, 1998 Proceedings (s. 516-520). Springer.
https://doi.org/10.1007/BFb0028773