D. Bjorner

On the use of formal methods in software development

D. Bjorner, D. Bjørner, 1987, ICSE '87.

Information and command infrastructures for small and medium size enterprises

C. M. Acebedo, D. Bjorner, A. P. Azcarraga, 1995 .