Computer Models of Probabilistic Reasoning: Bayes’ Theorem Without Assuming Independence - Thatcher, AR (Technical Report No. 88/1 Heriot-Watt University, Edinburgh, 1988)