[vicentereig]

If they fall into the formal specification category, I've found Writing Effective Use Cases by Alistair Cockburn to be very helpful.