Title: Models, algebras, and logic of engineering software
Subjects: Computer programs, Computer software, Data processing, Development, Engineering, Software engineering, System design