Editing by example (Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '84)