Does anyone know a good recipe for avocado enchiladas?

I had these amazing avocado enchiladas with cilantro sauce at a tiny mexican restaurant out of town. I’d really like to try them at home!