Jesús Manuel Almendros-Jiménez, Luis González-Jiménez. The LAST project: development of a formal method for IS-specification and of a CASE-tool for IS-design. In 7th Asia-Pacific Software Engineering Conference (APSEC 2000), 5-8 December 2000, Singapore. pages 54-61, IEEE Computer Society, 2000. [doi]
Abstract is missing.