filtering and negotiating technologies 76, 77
financial institutions 145
formal methods 273
frequency 302
frequency adequacy 302