Romijn J. Metallic structures with reduced dimensions : Diss / J.Romijn, 1991. - 136 p. - Текст : непосредственный.
Integrated formal methods : 5th international conference, IFM 2005, Eindhoven, the Netherlands, November 29 – December 2, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line