Formal methods and software engineering : 7th international conference on formal engineering methods, ICFEM 2005, Manchester, UK, November 1-4, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line
Lau K. Ultra-high Frequency Linear Fiber Optic Systems : монография / by Kam Lau., 2011 r=on-line (Введено оглавление). - Текст : электронный.