Makay A.:
TPV-telefonközpontok hívásfeldolgozó rendszerének funkcionális specifikációja
A dolgozat TPV-telefonközpontok hívásfeldolgozó rendszerének specifikációs problémáival és egy gyakorlatban jól bevált módszer ismertetésével foglalkozik. A hívások lebonyolításának modellezésére a véges automatákat használja. Rámutat, hogy az automaták célszerű megválasztásával az egyébként komplex hívás-lebonyolítási folyamatok logikailag egyszerű, egymástól világosan elhatárolható részekre tagolhatók. Az egymáshoz szemléletes és jól definiált interface-n keresztül kapcsolódó részfolyamatok egyszerű állapotátmenetei már jól kézben tarthatók ős egymástól függetlenül specifikálhatok, illetve programozhatók.