Designing minimal effective normative systems with the help of lightweight formal methods
Foraging and navigations, fundamentally: developers’ predictions of value and cost