BUŘITA, Ladislav - HRUŠECKÁ, Denisa - PIVNIČKA, Michal - ROSMAN, Pavel. The Use of Knowledge Management Systems and Event-B Modelling in a Lean Enterprise. In Journal of Competitiveness : Scientific Journal from the Field of Management and Economics. - Zlín : Fakulta managementu a ekonomiky Univerzity Tomáše Bati ve Zlíně, 2018. ISSN 1804-1728, 2018, no. 1, pp. 40-53.