Fairtlough, M.M.FairtloughMendler, MichaelMichaelMendlerCheng, X.X.Cheng2019-09-192014-09-242001https://fis.uni-bamberg.de/handle/uniba/9820engAbstraction and refinement in higher order logicconferenceobject