Pressure cook: parsley, celery, onions, leeks, carrots, beets, beef (shin), 2 bay leaves, peppercorns and beef or mushroom stock. High pressure for 90 minutes.
The trick for tender beef is to lightly dredge in flour & salt then fry the meat until brown on each side. Set aside. Cook onions for a few minutes then add all the ingredients back into the pressure cooker, including the meat and stock.