Program analysis and compilation, theory and practice / SpringerLink (Online service), 2007 r=on-line. - Текст : электронный.