Matthes Elstermann, Andre Wolski, Albert Fleischmann, Christian Stary, Stefan Borgert,
"The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes"
, in Raschke A., Riccobene E., Schewe KD.: Logic, Computation and Rigorous Methods, Serie Lecture Notes in Computer Science, Vol. 12750, Springer, Cham, Seite(n) 283-300, 2021
Original Titel:
The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes