SIGAda '99 Proceedinga of the Annual international Conference ACM SIGAda (ACM, 1999)
includes bibl. references