Actions speak louder then words proving bisimilarity for context - free processes - Hüttel, Hans (Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky, 2011)