Alagic, S., & Alagic, M. (1997). Order-sorted model theory for temporal executable specifications. Theoretical computer science, 179(1), 273-299. https://doi.org/10.1016/S0304-3975(96)00134-X
Chicago-Zitierstil (17. Ausg.)Alagic, Suad, und Mara Alagic. "Order-sorted Model Theory for Temporal Executable Specifications." Theoretical Computer Science 179, no. 1 (1997): 273-299. https://doi.org/10.1016/S0304-3975(96)00134-X.
MLA-Zitierstil (9. Ausg.)Alagic, Suad, und Mara Alagic. "Order-sorted Model Theory for Temporal Executable Specifications." Theoretical Computer Science, vol. 179, no. 1, 1997, pp. 273-299, https://doi.org/10.1016/S0304-3975(96)00134-X.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.