Alloy*: a general-purpose higher-order relational constraint solver
scientific article; zbMATH DE number 7138656
scientific article