Kleiber, Michał, and Zenon Kulpa. “Computer-Assisted Hybrid Reasoning in Simulation and Analysis of Physical Systems”. Computer Assisted Methods in Engineering and Science 2, no. 3 (September 30, 1995): 165–186. Accessed March 5, 2026. https://cames.ippt.gov.pl/index.php/cames/article/view/1471.