Additional material for the talks at the WABI 2012 conference.