Discrete calculus

George, Calculus: Single Variable, Volume 1, Springer: 177, 2006 [2020-08-22], ISBN 9781931914598, （原始内容存档于2021-04-29） . Strang, Gilbert, Calculus, Volume

Petri网：離散並列系統的數學表示法。 離散事件系統規格（英语：Discrete event system specification）：將離散事件系統規格化的作法。 布林微分（英语：Boolean differential calculus）：探討布林變數以及布林函數變化的布林代數。

布林微分（英语：Boolean differential calculus）（BDC） Ramadge, Peter J.; Wonham, Walter M. Supervisory Control of a Class of Discrete Event Processes. SIAM Journal

Publishing: 45, 2003 [2021-08-31], ISBN 9780789728616, （原始内容存档于2021-04-26） . The Calculus of Logic （页面存档备份，存于互联网档案馆）, by George Boole, Cambridge and Dublin Mathematical

Calculus: Early Transcendentals Single and Multivariable 8th, New York: Wiley, February 2, 2005, ISBN 978-0-471-47244-5  Apostol, Tom M., Calculus, Vol