A logical approach to system construction
1977 ◽
Vol 16
(03)
◽
pp. 125-130
◽
Keyword(s):
Keyword(s):
2012 ◽
Vol 19
(6)
◽
pp. 1461-1467