ACPt: a universal axiom system for proces specification / [by] J. W. Klop [and] J. A. Bergstra
type: CreativeWork
type: ProductModel
type: Book
main entity of page: https://data.bibliotheken.nl/.well-known/genid/6f79d4e1cf0e250ba26ad7da8aff360e
name: ACPt: a universal axiom system for proces specification
author: p068413955
contributor: p068653433
language: en
number of pages: 17
issued: 1987