Aronsohn documents for specifications