Hola Rafael.
Para multiestructuras, los libros que hemos usado como referencia en el curso tienen algunos ejemplos (en particular el libro de Aho, Hopcroft, Ullman).
Para introducción al diseño de tads, la bibliografía de introducción a tads es adecuada, ya que en este último tema tratamos de volver sobre el tema tads pero poniendo el foco en las especificaciones (Sobre implementaciones se trabajó más en temas previos). Sobre diseño seguirán luego en prog4.
Saludos Carlos