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