Social processes and proofs of theorems and programs
Communications of the ACM
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
A Discipline of Programming
Task support in an office system
ACM Transactions on Information Systems (TOIS)
C-TODOS: an automatic tool for office system conceptual design
ACM Transactions on Information Systems (TOIS)
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
Task support in an office system
COCS '84 Proceedings of the second ACM-SIGOA conference on Office information systems
Hi-index | 0.00 |