Bases for the development of LAST: a formal method for business software requirements specification | Publicación