-P. Pandurang Nayak: Automated Modeling of Physical Systems, Springer-Verlag 1995 (Subseries LNAI)