Jan Oliver Ringert, Allison Sullivan: Abstract Alloy Instances. FM 2023: 364-382