Author:
Lamo Yngve,Walicki Michał
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Adámek, J., Rosický, J.: Locally Presentable and Accessible Categories. Cambridge University Press, Cambridge (1994)
2. Białasik, M., Konikowska, B.: Reasoning with first-order nondeterministic specifications. Acta Informatica 36, 357–403 (1999)
3. Burmeister, P.: Partial algebra - an introductory survey. Algebra Universalis 15, 306–358 (1982)
4. ch. 3;M. Cerioli,1999
5. Hussmann, H.: Nondeterminism in Algebraic Specifications and Algebraic Programs. Birkhäuser, Basel (1993)