Arnold, B.R.T. ArieVanDeursen, and M. Res. An Algebraic Specification of a Language for Describing Financial Products. In M. Wirsing (editor), Proceedings of the ICSE-17 Workshop on Formal Methods Applications in Software Engineering Practice, pages 6-13. Seattle, April 1995 (1995) |
|