JACVSON (DANIEL), .Software Abstractions Logic Languages and Analysis. N.DELHI: PHI.
JACVSON (DANIEL), .N.DELHI: PHI. .