High integrity Ada : the Spark approach - Barnes, John. (Harlow : Addison-Wesley, 1997)
Book is accompanied by one CD, entitled'High integrity ada: The SPARK approach' bearing the same call number and available at Bahagian Koleksi Media.
Includes bibliographical references (p. 361-362) and index.
Keywords: Ada (Computer program language).