I came up with this myself after having something similar in a restaurant. Each time I've made it I change it a little depending on what ingredients I have handy, but the basic recipe is the same. I've used a packet of onion soup mix instead of the stock before and I've used bell peppers instead of the onions, it tasted good both times.