Title: Empirical study of texting methods for Boolean specifications
First published: 2002