We are currently using the user manual as our functional Specification

Here are some old notes that you might find interesting.