Sebastian S. Bauer Jean-Baptiste Raclet Proceedings Fourth Workshop on Foundations of Interface Technologies FIT http://dx.doi.org/10.4204/EPTCS.87 2012 EPTCS 87 db/series/eptcs/eptcs87.html