Chris Matthews: A formal specification for a fuzzy expert system. Inf. Softw. Technol. 45(7): 419-429 (2003)