Succinct spooky free compilers are not black box sound
scientific article; zbMATH DE number 6842651