A new approach to the formal explicit specification of knowledge acquisition. (2019). Mathematical Machines and Systems, 4, 139–145. https://doi.org/10.34121/1028-9763-2019-4-139–145