Actions speak louder than words : proving bisimilarity for contextfree processes : IA006 - Hüttel, Hans ([Masarykova univerzita. Středisko pro pomoc studentům se specifickými nároky], 2019)