{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:24:33Z","timestamp":1740122673945,"version":"3.37.3"},"reference-count":86,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[2010,10,20]],"date-time":"2010-10-20T00:00:00Z","timestamp":1287532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2010,12]]},"DOI":"10.1007\/s10703-010-0100-2","type":"journal-article","created":{"date-parts":[[2010,10,19]],"date-time":"2010-10-19T15:02:02Z","timestamp":1287500522000},"page":"95-140","source":"Crossref","is-referenced-by-count":2,"title":["Pointfree expression and calculation: from\u00a0quantification\u00a0to temporal logic"],"prefix":"10.1007","volume":"37","author":[{"given":"Raymond","family":"Boute","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,10,20]]},"reference":[{"key":"100_CR1","series-title":"Lecture notes","volume-title":"A relational theory of data types","author":"C Aarts","year":"1992","unstructured":"Aarts C, Backhouse R, Hoogendijk P, Voermans E, van\u00a0der Woude J (1992) A relational theory of data types. Lecture notes. Eindhoven University of Technology, Eindhoven"},{"key":"100_CR2","series-title":"Springer LNCS","first-page":"12","volume-title":"FM 2008\u201415th intl. symp. on formal methods","author":"Nirav","year":"2008","unstructured":"Nirav, Dave A, Katelman M (2008) Getting formal verification into design flow. In: Cuellar J, Maibaum T, Sere K (eds) FM 2008\u201415th intl. symp. on formal methods. Springer LNCS, vol 5014. Springer, Berlin, pp 12\u201332, invited paper"},{"key":"100_CR3","unstructured":"Backhouse R (1989) An exploration of the Bird-Meertens formalism. In: STOP summer school on constructive algorithmics, Abeland"},{"key":"100_CR4","volume-title":"Program construction\u2014calculating implementations from specifications","author":"R Backhouse","year":"2003","unstructured":"Backhouse R (2003) Program construction\u2014calculating implementations from specifications. Wiley, New York"},{"key":"100_CR5","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/11783596_7","volume-title":"Mathematics of program construction 2006","author":"R Backhouse","year":"2006","unstructured":"Backhouse R, Michaelis D (2006) Exercises in quantifier manipulation. In: Uustalu T (ed) Mathematics of program construction 2006. Springer LNCS, vol 4014. Springer, Berlin, pp 69\u201381"},{"issue":"8","key":"100_CR6","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J Backus","year":"1978","unstructured":"Backus J (1978) Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Commun ACM 21(8):613\u2013641","journal-title":"Commun ACM"},{"key":"100_CR7","volume-title":"Principles of model checking","author":"C Baier","year":"2008","unstructured":"Baier C, Katoen J-P (2008) Principles of model checking. MIT Press, Cambridge"},{"key":"100_CR8","unstructured":"Bandera home page. Web: http:\/\/bandera.projects.cis.ksu.edu\/"},{"key":"100_CR9","volume-title":"The lambda calculus, its syntax and semantics","author":"HP Barendregt","year":"1984","unstructured":"Barendregt HP (1984) The lambda calculus, its syntax and semantics. North-Holland, Amsterdam"},{"key":"100_CR10","volume-title":"Category theory for computing science","author":"M Barr","year":"1995","unstructured":"Barr M, Wells C (1995) Category theory for computing science. Prentice Hall, New York"},{"key":"100_CR11","volume-title":"Programming pearls","author":"J Bentley","year":"2000","unstructured":"Bentley J (2000) Programming pearls. Addison-Wesley, Reading. [10th printing, 2005]"},{"key":"100_CR12","unstructured":"(Lex) Bijlsma A (1993) Temporal operators viewed as predicate transformers. Computing science notes 93\/41, Eindhoven University; Web: http:\/\/alexandria.tue.nl\/extra1\/wskrap\/publichtml\/9313406.pdf"},{"key":"100_CR13","volume-title":"Algebra of programming","author":"R Bird","year":"1997","unstructured":"Bird R, de Moor O (1997) Algebra of programming. Prentice Hall, New York"},{"key":"100_CR14","volume-title":"Introduction to functional programming using Haskell","author":"R Bird","year":"1998","unstructured":"Bird R (1998) Introduction to functional programming using Haskell. Prentice Hall, New York"},{"key":"100_CR15","volume-title":"LabVIEW student edition 6i","author":"RH Bishop","year":"2001","unstructured":"Bishop RH (2001) LabVIEW student edition 6i. Prentice Hall, New York"},{"key":"100_CR16","volume-title":"Algebraic codes for data transmission","author":"RE Blahut","year":"2002","unstructured":"Blahut RE (2002) Algebraic codes for data transmission. Cambridge University Press, Cambridge"},{"key":"100_CR17","first-page":"405","volume-title":"Proc. NGI-SION symposium\u00a04","author":"R Boute","year":"1986","unstructured":"Boute R (1986) A calculus for reasoning about temporal phenomena. In: Proc. NGI-SION symposium\u00a04, pp 405\u2013411"},{"key":"100_CR18","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1109\/CMPEUR.1988.4951","volume-title":"CompEuro \u201988. \u2018Design: concepts, methods and tools\u2019","author":"R Boute","year":"1988","unstructured":"Boute R (1988) On the shortcomings of the axiomatic approach as presently used in computer science. In: CompEuro \u201988. \u2018Design: concepts, methods and tools\u2019, pp 184\u2013193"},{"issue":"2","key":"100_CR19","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1145\/128861.128862","volume":"14","author":"R Boute","year":"1992","unstructured":"Boute R (1992) The Euclidean definition of the functions div and mod. ACM TOPLAS 14(2):127\u2013144","journal-title":"ACM TOPLAS"},{"key":"100_CR20","unstructured":"Boute R (1993) Funmath illustrated: a declarative formalism and application examples. Technical report, Declarative systems series No. 1, Computing Science Institute, Nijmegen University"},{"key":"100_CR21","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-94-011-1914-6_1","volume-title":"Fundamentals and standards in hardware description languages","author":"R Boute","year":"1993","unstructured":"Boute R (1993) Fundamentals of hardware description languages and declarative languages. In: Mermet JP (ed) Fundamentals and standards in hardware description languages. Kluwer Academic, Norwell, pp\u00a03\u201338"},{"key":"100_CR22","unstructured":"Boute R, Verlinde H (2003) Functionals for the semantic specification of temporal formulas for model checking. In: K\u00f6nig H, Heiner M, Wolisz A (eds) FORTE 2003 work-in-progress papers, BTU Cottbus CS Reports, Brandenburg University of Technology pp.\u00a023\u201328"},{"key":"100_CR23","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/978-0-387-35672-3_5","volume-title":"Generic programming","author":"R Boute","year":"2003","unstructured":"Boute R (2003) Concrete generic functionals: principles, design and applications. In: Gibbons J, Jeuring J (eds) Generic programming. Kluwer Academic, Norwell, pp 89\u2013119"},{"issue":"5","key":"100_CR24","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1145\/1086642.1086647","volume":"27","author":"R Boute","year":"2005","unstructured":"Boute R (2005) Functional declarative language design and predicate calculus: a practical approach. ACM TOPLAS 27(5):988\u20131047","journal-title":"ACM TOPLAS"},{"issue":"4","key":"100_CR25","doi-asserted-by":"crossref","first-page":"747","DOI":"10.1145\/1146809.1146814","volume":"28","author":"R Boute","year":"2006","unstructured":"Boute R (2006) Calculational semantics: deriving programming theories from equations by functional predicate calculus. ACM TOPLAS 28(4):747\u2013793","journal-title":"ACM TOPLAS"},{"key":"100_CR26","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"316","DOI":"10.1007\/11813040_22","volume-title":"FM 2006: formal methods","author":"R Boute","year":"2006","unstructured":"Boute R (2006) Using domain-independent problems for introducing formal methods. In: Misra J, Nipkow T, Sekerinski E (eds) FM 2006: formal methods. Springer LNCS, vol 4085. Springer, Berlin, pp\u00a0316\u2013331"},{"key":"100_CR27","unstructured":"Boute R (2007) Functional mathematics: a unifying basis for systems modeling in classical and computer engineering\u2014part I. Course notes, Ghent University"},{"key":"100_CR28","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"387","DOI":"10.1007\/978-3-642-05089-3_25","volume-title":"FM 2009: formal methods","author":"R Boute","year":"2009","unstructured":"Boute R (2009) Making temporal logic calculational: a tool for unification and discovery. In: Cavalcanti A, Dams D (eds) FM 2009: formal methods. Springer LNCS, vol 5850. Springer, Berlin, pp 387\u2013402"},{"issue":"6","key":"100_CR29","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1109\/MAP.2009.5433137","volume":"51","author":"R Boute","year":"2009","unstructured":"Boute R (2009) The decibel done right: a matter of engineering the math. IEEE Antennas and Propagation Magazine 51(6):177\u2013184","journal-title":"IEEE Antennas and Propagation Magazine"},{"key":"100_CR30","volume-title":"The calculus of computation","author":"AR Bradley","year":"2007","unstructured":"Bradley AR, Manna Z (2007) The calculus of computation. Springer, Berlin"},{"key":"100_CR31","series-title":"Springer LNCS","first-page":"402","volume-title":"Proc. IFM 2004, integrated formal methods","author":"Y Chen","year":"2004","unstructured":"Chen Y, Liu Z (2004) Integrating temporal logics. In: Boiten EA, Derrick J, Smith G (eds) Proc. IFM 2004, integrated formal methods. Springer LNCS, vol 2999. Springer, Berlin, pp 402\u2013420"},{"key":"100_CR32","volume-title":"Model checking","author":"EM Clarke","year":"2000","unstructured":"Clarke EM, Grumberg O, Peled DA (2000) Model checking. MIT Press, Cambridge"},{"key":"100_CR33","volume-title":"Categories for types","author":"RL Crole","year":"1993","unstructured":"Crole RL (1993) Categories for types. Cambridge University Press, Cambridge"},{"key":"100_CR34","volume-title":"Reading, writing and proving: a closer look at mathematics","author":"U Daepp","year":"2003","unstructured":"Daepp U, Gorkin P (2003) Reading, writing and proving: a closer look at mathematics. Springer, Berlin"},{"key":"100_CR35","unstructured":"Dijkstra EW (1973) On the axiomatic definition of semantics. EWD 367; Web: http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd03xx\/EWD367.PDF"},{"key":"100_CR36","unstructured":"Dijkstra EW (1982) Why numbering should start at zero. EWD 381; Web: http:\/\/userweb.cs.utexas.edu\/users\/EWD\/ewd08xx\/EWD831.PDF"},{"key":"100_CR37","unstructured":"Dijkstra EW (1990) How computing science created a new mathematical style. EWD 1073; Web: http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd10xx\/EWD1073.PDF"},{"key":"100_CR38","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3228-5","volume-title":"Predicate calculus and program semantics","author":"EW Dijkstra","year":"1990","unstructured":"Dijkstra EW, Scholten CS (1990) Predicate calculus and program semantics. Springer, Berlin"},{"key":"100_CR39","unstructured":"Dijkstra EW (1996) Beware of the empty range. EWD 1247; Web: http:\/\/www.cs.utexas.edu\/users\/EWD\/ewd12xx\/EWD1247.PDF"},{"key":"100_CR40","unstructured":"Dijkstra EW (2010) Manuscripts archive. University of Texas; Web: http:\/\/www.cs.utexas.edu\/users\/EWD\/"},{"key":"100_CR41","doi-asserted-by":"crossref","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1998) Property specification patterns for finite-state specification. In: Ardis M (ed) Proc. FMSP\u201998, second workshop on formal methods in software practice. Clearwater Beach, pp\u00a07\u201315","DOI":"10.1145\/298595.298598"},{"key":"100_CR42","unstructured":"Dwyer MB, Avrunin GS, Corbett JC (1999) Patterns in property specification for finite-state specification. In: Proc twenty-first intl conf on software engineering. Los Angeles, pp\u00a0411\u2013420"},{"key":"100_CR43","unstructured":"Dwyer MB, Hatcliff J (2002) Bandera temporal specification patterns, tutorial presentation at ETAPS\u201902 (Grenoble) and SMF\u201902 (Bertinoro) Web: http:\/\/www.cis.ksu.edu\/santos\/bandera\/Talks\/SFM02\/02-SFM-Patterns.ppt"},{"key":"100_CR44","volume-title":"Set theory with a universal set","author":"TE Forster","year":"1992","unstructured":"Forster TE (1992) Set theory with a universal set. Clarendon, Oxford"},{"key":"100_CR45","volume-title":"Concrete mathematics","author":"RL Graham","year":"1994","unstructured":"Graham RL, Knuth DE, Patashnik O (1994) Concrete mathematics. Addison-Wesley, Reading"},{"issue":"3","key":"100_CR46","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1145\/102868.102870","volume":"34","author":"D Gries","year":"1991","unstructured":"Gries D (1991) Improving the curriculum through the teaching of calculation and discrimination. Commun ACM 34(3):45\u201355","journal-title":"Commun ACM"},{"key":"100_CR47","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-3837-7","volume-title":"A logical approach to discrete math","author":"D Gries","year":"1993","unstructured":"Gries D, Schneider FB (1993) A logical approach to discrete math. Springer, Berlin"},{"key":"100_CR48","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1007\/978-3-540-30472-2_11","volume-title":"Teaching formal methods","author":"H Habrias","year":"2004","unstructured":"Habrias H, Faucou S (2004) Linking paradigms, semi-formal and formal notations. In: Dean CN, Boute RT (eds) Teaching formal methods. Springer LNCS, vol 3294. Springer, Berlin, pp 166\u2013184"},{"key":"100_CR49","volume-title":"Naive set theory","author":"PR Halmos","year":"1960","unstructured":"Halmos PR (1960) Naive set theory. Van Nostrand, Princeton"},{"key":"100_CR50","unstructured":"Hehner ECR (1997) From Boolean algebra to unified algebra. Internal report, University of Toronto"},{"key":"100_CR51","unstructured":"Herstein IN (1964) Topics in algebra. Xerox College Publishing, Lexington"},{"key":"100_CR52","volume-title":"Unifying theories of programming","author":"CAR Hoare","year":"1998","unstructured":"Hoare CAR, Jifeng H (1998) Unifying theories of programming. Prentice Hall, New York"},{"key":"100_CR53","volume-title":"The SPIN model checker: primer and reference manual","author":"GJ Holzmann","year":"2004","unstructured":"Holzmann GJ (2004) The SPIN model checker: primer and reference manual. Addison-Wesley, Reading"},{"key":"100_CR54","unstructured":"ISO\/TC 12 and IEC\/TC 25 (2009) Quantities and units\u2014Part 2: Mathematical signs and symbols to be used in the natural sciences and technology, 1st edn. ISO 80000-2:2009 (2009-12-01)"},{"key":"100_CR55","doi-asserted-by":"crossref","DOI":"10.1145\/1460833.1460872","volume-title":"A programming language","author":"K Iverson","year":"1962","unstructured":"Iverson K (1962) A programming language. Wiley, New York"},{"key":"100_CR56","volume-title":"Software abstractions","author":"D Jackson","year":"2006","unstructured":"Jackson D (2006) Software abstractions. MIT Press, Cambridge"},{"issue":"4","key":"100_CR57","doi-asserted-by":"crossref","first-page":"282","DOI":"10.2307\/2686848","volume":"20","author":"I Kleiner","year":"1989","unstructured":"Kleiner I (1989) Evolution of the function concept: a brief survey. Coll Math J 20(4):282\u2013300","journal-title":"Coll Math J"},{"issue":"5","key":"100_CR58","doi-asserted-by":"crossref","first-page":"403","DOI":"10.2307\/2325085","volume":"99","author":"D Knuth","year":"1992","unstructured":"Knuth D (1992) Two notes on notation. Am Math Mon 99(5):403\u2013422","journal-title":"Am Math Mon"},{"key":"100_CR59","volume-title":"Specifying systems: the TLA+ language and tools for hardware and software engineers","author":"L Lamport","year":"2002","unstructured":"Lamport L (2002) Specifying systems: the TLA+ language and tools for hardware and software engineers. Pearson Education, Upper Saddle River"},{"key":"100_CR60","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-1801-0","volume-title":"Undergraduate analysis","author":"S Lang","year":"1983","unstructured":"Lang S (1983) Undergraduate analysis. Springer, Berlin"},{"issue":"1","key":"100_CR61","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1109\/2.641980","volume":"31","author":"EA Lee","year":"1998","unstructured":"Lee EA, Messerschmitt DG (1998) Engineering an education for the future. IEEE Comput 31(1):77\u201385","journal-title":"IEEE Comput"},{"key":"100_CR62","unstructured":"Lee EA, Varaiya P (2000) Introducing signals and systems\u2014the Berkeley approach. In: First signal processing education workshop. Hunt, Texas; Web: http:\/\/ptolemy.eecs.berkeley.edu\/publications\/papers\/00\/spe1"},{"key":"100_CR63","volume-title":"Structure and interpretation of signals and systems","author":"EA Lee","year":"2003","unstructured":"Lee EA, Varaiya P (2003) Structure and interpretation of signals and systems. Addison-Wesley, Reading"},{"key":"100_CR64","unstructured":"Lydna UI (2008) Problem S127. Math Horizons April 2008, p\u00a032"},{"key":"100_CR65","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0931-7","volume-title":"The temporal logic of reactive and concurrent systems: specification","author":"Z Manna","year":"1992","unstructured":"Manna Z, Pnueli A (1992) The temporal logic of reactive and concurrent systems: specification. Springer, New York"},{"key":"100_CR66","volume-title":"Introduction to the theory of programming languages","author":"B Meyer","year":"1990","unstructured":"Meyer B (1990) Introduction to the theory of programming languages. Prentice Hall, New York"},{"key":"100_CR67","volume-title":"Touch of class\u2014learning to program well with objects and contracts","author":"B Meyer","year":"2009","unstructured":"Meyer B (2009) Touch of class\u2014learning to program well with objects and contracts. Springer, Berlin"},{"key":"100_CR68","series-title":"Springer LNCS","first-page":"230","volume-title":"Advanced functional programming, 6th international school, AFP 2008, Revised lectures","author":"U Norell","year":"2008","unstructured":"Norell U (2008) Dependently typed programming in Agda. In: Koopman P, Plasmeijer R, Swierstrs D (eds) Advanced functional programming, 6th international school, AFP 2008, Revised lectures. Springer LNCS, vol 5832. Springer, Berlin, pp 230\u2013266 Web: http:\/\/www.cse.chalmers.se\/ulfn\/papers\/afp08\/tutorial.pdf"},{"key":"100_CR69","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/978-3-642-03153-3_5","volume-title":"Language engineering and rigorous software development: LerNet ALFA summer school 2008","author":"JN Oliveira","year":"2009","unstructured":"Oliveira JN (2009) Extended static checking by calculation using the pointfree transform. In: Bove A, Barbosa LS, Pardo A, Pinto JS (eds) Language engineering and rigorous software development: LerNet ALFA summer school 2008. Springer LNCS, vol 5520. Springer, Berlin, pp 195\u2013251"},{"issue":"1","key":"100_CR70","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1109\/2.48796","volume":"23","author":"DL Parnas","year":"1990","unstructured":"Parnas DL (1990) Education for computing professionals. IEEE Comput 23(1):17\u201322","journal-title":"IEEE Comput"},{"key":"100_CR71","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1524.001.0001","volume-title":"Basic category theory for computer scientists","author":"BC Pierce","year":"1991","unstructured":"Pierce BC (1991) Basic category theory for computer scientists. MIT Press, Cambridge"},{"key":"100_CR72","doi-asserted-by":"crossref","unstructured":"Prandoni P, Vetterli M (2008) Signal processing for communications. EPFL Press, Lousanne","DOI":"10.1201\/9781439808009"},{"key":"100_CR73","series-title":"Springer LNCS","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/BFb0015727","volume-title":"12th coll. on automata, languages and programming","author":"A Pnueli","year":"1985","unstructured":"Pnueli A (1985) Linear and branching structures in the semantics and logics of reactive systems. In: Brauer W (ed) 12th coll. on automata, languages and programming. Springer LNCS, vol 194. Springer, Berlin, pp 15\u201332"},{"key":"100_CR74","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511626364","volume-title":"Theories of programming languages","author":"JC Reynolds","year":"1998","unstructured":"Reynolds JC (1998) Theories of programming languages. Cambridge University Press, Cambridge"},{"key":"100_CR75","volume-title":"Principles of mathematical analysis","author":"W Rudin","year":"1964","unstructured":"Rudin W (1964) Principles of mathematical analysis. McGraw-Hill, New York"},{"issue":"407","key":"100_CR76","doi-asserted-by":"crossref","first-page":"7","DOI":"10.2307\/3616802","volume":"59","author":"HS Shuard","year":"1975","unstructured":"Shuard HS (1975) Does it matter? Math Gazette 59(407):7\u201315","journal-title":"Math Gazette"},{"key":"100_CR77","series-title":"AMS colloquium publications","doi-asserted-by":"crossref","DOI":"10.1090\/coll\/041","volume-title":"A formalization of set theory without variables","author":"A Tarski","year":"1987","unstructured":"Tarski A, Givant S (1987) A formalization of set theory without variables. AMS colloquium publications, vol\u00a041. American Mathematical Society, Providence"},{"key":"100_CR78","volume-title":"Semantics of programming languages","author":"RD Tennent","year":"1991","unstructured":"Tennent RD (1991) Semantics of programming languages. Prentice Hall, New York"},{"key":"100_CR79","volume-title":"Thomas\u2019s calculus","author":"GB Thomas","year":"2004","unstructured":"Thomas GB, Weir MD, Hass J, Giordano FR (2004) Thomas\u2019s calculus, 11th edn. Addison-Wesley, Reading","edition":"11"},{"key":"100_CR80","doi-asserted-by":"crossref","unstructured":"Tucker AB, Kelemen CF, Bruce KB (2001) Our curriculum has become math-phobic! ACM SIGCSEB, SIGCSE bulletin 33; Web: http:\/\/citeseer.ist.psu.edu\/tucker01our.html","DOI":"10.1145\/364447.364593"},{"key":"100_CR81","doi-asserted-by":"crossref","unstructured":"Wadler P (1987) Views: a way for pattern matching to cohabit with data abstraction. In: POPL 1987, proc 14th ann ACM sympos on principles of programming languages 1987, pp\u00a0307\u2013313; Web: http:\/\/www-2.cs.cmu.edu\/rwh\/courses\/modules\/papers\/wadler87\/paper.pdf","DOI":"10.1145\/41625.41653"},{"key":"100_CR82","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/978-94-017-0454-0_4","volume-title":"Handbook of philosophical logic","author":"J Benthem van","year":"2001","unstructured":"van Benthem J (2001) Correspondence theory. In: Gabbay D, Guenthner F (eds) Handbook of philosophical logic, 2nd edn., vol\u00a03. Kluwer Academic, Norwell, pp 325\u2013408","edition":"2"},{"issue":"3","key":"100_CR83","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1017\/S0960129598002540","volume":"8","author":"B Karger von","year":"1998","unstructured":"von Karger B (1998) Temporal algebra. Math Struct Comput Sci 8(3):277\u2013320","journal-title":"Math Struct Comput Sci"},{"key":"100_CR84","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"Formal semantics of programming languages","author":"G Winskel","year":"1993","unstructured":"Winskel G (1993) Formal semantics of programming languages. MIT Press, Cambridge"},{"issue":"3","key":"100_CR85","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inform Control 8(3):338\u2013353; Web: http:\/\/dx.doi.org\/10.1016\/S0019-9958(65)90241-X","journal-title":"Inform Control"},{"key":"100_CR86","series-title":"NATO ASI series E","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/978-94-011-1914-6_3","volume-title":"Fundamentals and standards in hardware description languages","author":"A Zamfirescu","year":"1993","unstructured":"Zamfirescu A (1993) Logic and arithmetic in hardware description languages. In: Mermet JP (ed) Fundamentals and standards in hardware description languages. NATO ASI series E, vol 249. Kluwer Academic, Dordrecht, pp 79\u2013107"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-010-0100-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-010-0100-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-010-0100-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,13]],"date-time":"2020-06-13T01:51:38Z","timestamp":1592013098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-010-0100-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10,20]]},"references-count":86,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2010,12]]}},"alternative-id":["100"],"URL":"https:\/\/doi.org\/10.1007\/s10703-010-0100-2","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2010,10,20]]}}}