Formal specification methods in general.
Readers: 4100 (0.1%) {12%} Mesgs per month/day: 32/1 {9%}
Crossposting: 27% {71%} Megs per month/day: 0.1/0.003 {19%}
Sites reciving this Group: 35% Cost ratio ($US/month/rdr): 0.01