Barbosa LS.? 2012.??Software Components as Invariant-Typed Arrows - (Keynote Talk). Proceedings of 16th Brazilian Symposium on Programming Languages - SBLP. 7554:1-5.