“user's tutorial and reference manual”