B.: A Service Request Description Language (1995)

by C Popien, Meyer
Venue:In: Proceedings of Formal Description Techniques VII (FORTE'94