@inproceedings{inproceedings, title  = {{Composition of LOTOS specifications.}},

 publisher = {{Chapman & Hall}},

 url = {{http://www.informatik.uni-trier.de/~ley/db/conf/pstv/pstv1995.html }},

 year = {{1995}},

 month = {{1}},

 author = {{Steen M and Bowman H and Derrick J}},

 volume = {{38}},

 journal = {{PSTV}},

 pages = {{87-102}},

 note = {{Accessed on 2025/01/13}}}