Prace napisane na matematyczne podstawy dyscypliny do monitorowania komputerów Gabriel Estevam - Federal University of Santa Catarina.
Algorytm budowy tabela prawdy z propozycją wykorzystuje adaptację metody przetwarzania do postaci równań matematycznych postfix z Feofiloff Pawła algorytmów w języku C