Title: MIDA mailbox service description and mailbox access protocol specification