National Library of Finland
Open Data and Linked Data Service
Search works, persons, organizations and subjects:
Butler, M
URI:
http://urn.fi/URN:NBN:fi:au:pn:000083691
name
Butler, M
Authored works
An action system approach to the steam boiler problem
Distributed system development in B
Stepwise refinement of communicating systems
Works contributed to
Exploring summation and product operators in the calculus refinement
Specification of a program derivation editor
Works about Butler, M
Download this resource as RDF:
Turtle
RDF/XML
N-Triples
JSON-LD