52 minutes ago, JohnT said:cannot find them offered in our local Chinese restaurants
I'm not surprised. They aren't really a restaurant dish. I don't recall seeing them in a restaurant here in China, either. Most are home made or sold from steamed breakfast street food snack joints, to go. They are also sold frozen in supermarkets.
I don't have a recipe in English other than the one in my head, sorry.
Also, remember that they come with many different fillings. The ones I make most often contain pork and shiitake, but that's just my preference. Here are just three.