Reliable software technologies - ADA-Europe'97 - Hardy, Keith; Briggs, Jim (Lecture notes in computer science ; LNCS ;, 1997)