Takeshi Shinohara Some problems on inductive inference from positive data. 41-58 1985 conf/aii/1985 Mathematical Methods of Specification and Synthesis of Software Systems db/conf/aii/aii1985.html#Shinohara85