Article ON THE FORMAL SPECIFICATION AND VERIFICATION OF AUTOMATA-BASED PROGRAMS BY SPECIFICATION PATTERNS
Article METHOD OF WEB-APPLICATION DESIGN ON THE BASE OF HIERARCHICAL SYSTEMS OF FINITE STATE MACHINES