[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

Wirsing90
  1. Martin Wirsing
  2. Algebraic specification
  3. In Jan van Leeuwen, editor, Formal Models and Semantics, volume B of Handbook of Theoretical Computer Science, pp675-788. Elsevier, 1990. 14 [Leeuwen90]

Search for bibliographic items containing a matching string.


(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.



To see the complete bibliography (1Mb+) select:[Bibliography]