Semantics and algebraic specification / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.
Static analysis : 7th intern. symp., SAS 2000, Santa Barbara(Ca), USA, June 29-July 1, 2000Proc. / SAS 2000, 2000. - VIII,432 . . - Текст : непосредственный.