Robert P. Daley Inductive inference hierarchies: probabilistic vs pluralistic strategies. 73-82 1985 conf/aii/1985 Mathematical Methods of Specification and Synthesis of Software Systems db/conf/aii/aii1985.html#Daley85