//-->
Life cycle support in the Ada environment
MacDermid, John A., (1984)
Integrating safety and formal analyses using UML and PFS
Iwu, Frantz, (2007)
International dictionary of banking and finance
Clark, John Owen Edward, (1999)