  This review presents and evaluates various formalisms for the purpose of
modelling the semantics of financial derivatives contracts. The formalism
proposed by Lee is selected as the best candidate among those initially
reviewed. Further examination and evaluation of this formalism is done.
