Nikolaj S. Bjørner: Engineering Theories with Z3. CPP 2011: 1-2