Mendler, MichaelMichaelMendlerScheele, StephanStephanScheele0000-0003-0787-31812019-09-192014-09-242008https://fis.uni-bamberg.de/handle/uniba/18094engTowards Constructive DL for Abstraction and Refinementconferenceobjecthttp://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-353/MendlerScheele.pdf