Jesús Manuel Almendros-Jiménez, Luis González-Jiménez: Bases for the development of LAST: a formal method for business software requirements specification. Inf. Softw. Technol. 44(2): 65-75 (2002)