Welding Symbols (ISO 2553) and Weld Joint Design.
A logic for true concurrency Paolo Baldan and Silvia Crafa Universita’ di Padova.