Text this: Real Time Distributed Protocols for the any k out of m resourses allocation problem C.T.I. Technical Report TR 92.11.19