DOI,IST REx ID,Title of publication
10.1007/3-540-44929-9_38,4512,Masaccio: A formal model for embedded components