Invited Papers.- A Family of Mathematical Methods for Professional Software Documentation.- Gener...