Formal aspects of computing : the international journal of formal methods.
London : Springer International,
1989-
Computers
Electronic data processing