Author:
Sannella Donald,Tarlecki Andrzej
Publisher
Springer International Publishing
Reference45 articles.
1. Aspinall, D.: Type Systems for Modular Programming and Specification. Ph.D. thesis, University of Edinburgh, Department of Computer Science (1997)
2. Lecture Notes in Computer Science;F.L. Bauer,1985
3. Lecture Notes in Computer Science;R.M. Burstall,1980
4. Bidoit, M., Hennicker, R.: Constructor-based observational logic. Journal of Logic and Algebraic Programming 67(1-2), 3–51 (2006)
5. Bidoit, M., Hennicker, R., Wirsing, M.: Behavioural and abstractor specifications. Science of Computer Programming 25(2-3), 149–186 (1995)