Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding. Association for Computing Machinery (ACM).
Chicago-viite (17. p.)Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
MLA-viite (9. p.)Proceedings of the 3rd ACM SIGPLAN Workshop on Mechanized Reasoning About Languages with Variable Binding. Association for Computing Machinery (ACM).
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.