Author

Duke, Roger

Catalogue records by Duke, Roger in the PakCat Union Catalogue.

1 catalogue record

Catalogue records

Formal object oriented specification using object-Z Duke, Roger Year not listed