{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T03:25:22Z","timestamp":1671420322090},"reference-count":110,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1016\/0167-739x(92)90001-r","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"111-138","source":"Crossref","is-referenced-by-count":3,"title":["Formal, model-oriented software development methods: From VDM to ProCoS & from RAISE to LaCoS"],"prefix":"10.1016","volume":"7","author":[{"given":"Dines","family":"Bj\u00f8rner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anne Elisabeth","family":"Haxthausen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0167-739X(92)90001-R_BIB1_1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-08766-4","article-title":"The Vienna Development Method: The Meta-Language","volume":"vol. 61","author":"Bj\u00f8rner","year":"1978","journal-title":"Springer, Lecture Notes in Computer Science"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_2","series-title":"Software Development: a Rigorous Approach","author":"Jones","year":"1980"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_3","article-title":"Abstract Software Specifications","volume":"vol. 86","author":"Bj\u00f8rner","year":"1980","journal-title":"Springer, Lecture Notes in Computer Science"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_4","series-title":"Towards a Formal Description of Ada","volume":"vol. 98","year":"1980"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_5","series-title":"Formal Specification and Software Development","author":"Bj\u00f8rner","year":"1982"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_6","series-title":"Systematic Software Development using VDM","author":"Jones","year":"1986"},{"key":"10.1016\/0167-739X(92)90001-R_BIB1_7","series-title":"Case Studies in Systematic Software Development","author":"Jones","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB2","unstructured":"A sampler of VDM books: D. Bj\u00f8rner, Software Architectures and Programming Systems Design \u2014 the VDM Approach. 2 vols., Addison-Wesley, to be published."},{"key":"10.1016\/0167-739X(92)90001-R_BIB3","series-title":"1st VDM Symp. Proc.","article-title":"VDM '87: VDM \u2014 A Formal Method at Work","volume":"vol. LNCS 252","year":"1987"},{"key":"10.1016\/0167-739X(92)90001-R_BIB4","series-title":"2nd VDM Symp. Proc.","article-title":"DDM '88: VDM \u2014 The Way Ahead","volume":"vol. LNCS 328","year":"1988"},{"key":"10.1016\/0167-739X(92)90001-R_BIB5","series-title":"3rd VDM Symp. Proc.","article-title":"VDM '90: VDM and Z \u2014 Formal Methods in Software Development","volume":"vol. LNCS 428","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB6","series-title":"IFIP '90 Congress Proc.","first-page":"95","article-title":"Towards a Formal Semantics of the BSI\/VDM Specification Language","author":"Gorm Larsen","year":"1989"},{"key":"10.1016\/0167-739X(92)90001-R_BIB7","series-title":"IFIP'90 Congress Proc.","first-page":"1115","article-title":"Loose Specification and its Semantics","author":"Wieth","year":"1989"},{"key":"10.1016\/0167-739X(92)90001-R_BIB8","series-title":"3rd VDM Symp. Proc.","first-page":"552","article-title":"A Naive Domain Universe for VDM","volume":"vol. LNCS 428","author":"Tarlecki","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB9","series-title":"A VDM Bibliography","year":"1987"},{"key":"10.1016\/0167-739X(92)90001-R_BIB10","series-title":"An RSL Tutorial","author":"Havelund","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB11","series-title":"RSL Reference Manual","author":"Havelund","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB12","author":"Brock","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB13","series-title":"Semantic Foundations of RSL","author":"Milne","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB14","series-title":"RSL Proof Rules","author":"Milne","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB15","series-title":"A Tutorial on RAISE","author":"Haxthausen","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB16","article-title":"ProCoS \u2014 BRA 3104","author":"Bj\u00f8rner","journal-title":"Report: Provably Correct Systems"},{"key":"10.1016\/0167-739X(92)90001-R_BIB17","unstructured":"A.P. Ravn, H. Rischel and E.V. S\u00f8rensen, ProCoS: Safety Critical Systems, Paper submitted for ESPRIT Technical Week '90, on behalf of the ESPRIT BRA 3104 ProCoS project."},{"key":"10.1016\/0167-739X(92)90001-R_BIB18","unstructured":"J. Bowen, He JiFeng, C.A.R. Hoare and Paritosh Pandya: ProCoS Compiling Specification and Languages, Paper submitted for ESPRIT Technical Week '90, on behalf of the ESPRIT BRA 3104 ProCoS project."},{"key":"10.1016\/0167-739X(92)90001-R_BIB19","unstructured":"M. Fr\u00e4nzle, H. Langmaack and M. M\u00fcller-Olm, ProCoS Compiler Development, Paper submitted for ESPRIT Technical Week '90, on behalf of the ESPRIT BRA 3104 ProCoS project."},{"key":"10.1016\/0167-739X(92)90001-R_BIB20","article-title":"Forced Transformations of occam Programs","author":"Nielson","year":"1989","journal-title":"Technical Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB21","article-title":"Embedding occam in TML","author":"Nielson","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB22","article-title":"Verification of the level 0 compiling specification","author":"Gammelgaard","year":"1990","journal-title":"Technical Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB23","unstructured":"A. Blikle, Designing a Language of Concurrent Processes, Technical Report, Pre-Draft, 1989-07-06."},{"key":"10.1016\/0167-739X(92)90001-R_BIB24","unstructured":"A.P. Ravn and V. Stavridou, Criteria for specification and programming language for engineering safety-critical software, Technical report, 1989-10\u201324."},{"key":"10.1016\/0167-739X(92)90001-R_BIB25","unstructured":"A.P. Ravn, H. Rischel and E.V. S\u00f8rensen, Control Program for a Gas Burner: Requirements, ProCoS Case Study 0, Note, 1989-10\u201316."},{"key":"10.1016\/0167-739X(92)90001-R_BIB26","unstructured":"A.P. Ravn; Control Program for an Autopilot: Requirements ProCoS Case Study 0, Note, 1989-11\u201321."},{"key":"10.1016\/0167-739X(92)90001-R_BIB27","article-title":"Specification and development of safety-critical software: An assessment of MOD draft Standard 00-55","author":"Ravn","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB28","series-title":"A ProCoS Position Statement","article-title":"Development of Safety Critical Software","author":"Ravn","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB29","unstructured":"D. Bj\u00f8rner et al., Annez 1, Technical Annez for ESPRIT Basic Research Action 3104: ProCoS (Provably Correct Systems), General Information, 1989-04-02."},{"key":"10.1016\/0167-739X(92)90001-R_BIB30","series-title":"AI & Robotics, Strebske Pleso Conf., CSR","article-title":"A ProCoS project Description","author":"Bj\u00f8rner","year":"1989"},{"key":"10.1016\/0167-739X(92)90001-R_BIB31","series-title":"Interim Deliverable: ProCoS \u2014 ESPRIT BRA 3104 Provably Correct Systems","author":"Bj\u00f8rner","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB32","unstructured":"E.V. S\u00f8rensen, On the Specification of Dependability Requirements Involving Time Integration, Note, 1989-10\u201312."},{"key":"10.1016\/0167-739X(92)90001-R_BIB33","series-title":"ProCoS Case Study 1","article-title":"Control Program for a Gas Burner: Part 1: Informal Requirements","author":"S\u00f8rensen","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB34","unstructured":"E.V. S\u00f8rensen, Brief Tutorial on Dependability Concepts, Note 1\/4-90."},{"key":"10.1016\/0167-739X(92)90001-R_BIB35","unstructured":"E.V. Sorensen, On Dependability Prediction of Safety Critical Systems, Note, 1\/4-90."},{"key":"10.1016\/0167-739X(92)90001-R_BIB36","article-title":"Note on the ProCos Programming Language","author":"L\u00f8vengreen","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB37","article-title":"Definition of the ProCoS Programming Language Level 0","author":"L\u00f8vengreen","year":"1989","journal-title":"Technical Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB38","article-title":"Issues of Kernel Design and Development","author":"L\u00f8vengreen","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB39","series-title":"Requirements Capture","author":"Rischel","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB40","unstructured":"J. Nordahl, A Real-time Temporal Logic Specification of a Safety Critial System, Note, 1989-10\u201325."},{"key":"10.1016\/0167-739X(92)90001-R_BIB41","article-title":"Requirements Specification for a Railway Level Crossing","author":"Nordahl","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB42","article-title":"Dependability in a Process Algebraic Framework","author":"Nordahl","year":"1990","journal-title":"Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB43","unstructured":"K.M. Jensen and H.H. L\u00f8vengreen, Abstract Syntax for occam 2, Note, 1989-10\u201312."},{"key":"10.1016\/0167-739X(92)90001-R_BIB44","unstructured":"K.M. Jensen and H.H. L\u00f8vengreen, Proposal for the ProCoS Programming Language Level 1, Note, Draft, 1989-10\u201325."},{"key":"10.1016\/0167-739X(92)90001-R_BIB45","article-title":"Syntax and Informal Semantics for the ProCoS Specification Language Level 0","author":"Jensen","year":"1990","journal-title":"Technical Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB46","article-title":"Definition of the ProCoS Programming Language Level 1","author":"Jensen","year":"1990","journal-title":"Techn. Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB47","article-title":"Specification of a Taximeter 1","author":"Jensen","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB48","article-title":"Static Semantics of occam 2","author":"Jensen","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB49","unstructured":"M.R. Hansen and Z. Chao-Chen, Specification and Verification of Higher Order Processes: A Temporal Logic Based Approach, MFCS'90, Banska Bystrika, CSR, Springer Verlag, LNCS."},{"key":"10.1016\/0167-739X(92)90001-R_BIB50","series-title":"A comment on the taximeter","author":"Hansen","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB51","unstructured":"B. Buth et al., ProCoS Report: Compiling the PrOccam0 Language, Technical report, 1989-07\u201314."},{"key":"10.1016\/0167-739X(92)90001-R_BIB52","article-title":"Experiments with Program verification Systems","author":"Buth","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB53","article-title":"On the Equivalence of the ProCoS TAL and AL Languages","author":"Karger","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB54","article-title":"Definition of the ProCoS Level 1 Assembly Language","author":"Karger","year":"1990","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB55","article-title":"A (vW-) Grammar for Concrete PL0 Syntax, and Parser Correctness","author":"Weber-Wulff","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB56","article-title":"First Steps in Compiler Development","author":"Langmaack","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB57","article-title":"Note on the ProCoS Compiler Development Diagram for Language PL0","author":"Langmaack","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB58","series-title":"Transformation of Transition Systems into Rewriting Systems","author":"Buth","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB59","unstructured":"M. Fr\u00e4nzle and Y. Lakhneche, Compiling Specification for ProCoS Programming Language Level 0, Note, 1989-08-28."},{"key":"10.1016\/0167-739X(92)90001-R_BIB60","article-title":"Compiling Specification and Verification","author":"Fr\u00e4nzle","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB61","article-title":"Compiling Specification for ProCoS Programming Language Level 0","author":"Fr\u00e4nzle","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB62","article-title":"Compiling Specification for ProCoS Programming Language Level 1","author":"Fr\u00e4nzle","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB63","article-title":"A Framework for the Compiler Development","author":"M\u00fcller-Olm","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB64","series-title":"The SubLisp via SIL and PL0R to ML Bootstrap Compiling Method","author":"M\u00fcller-Olm","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB65","series-title":"Refinement of Compiling Specification Data Types to SubLisp Data Types","author":"M\u00fcller-Olm","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB66","series-title":"SubLisp Interpreter and SubLisp to PL0R Compiler Generation on the Transputer with high Correctness Confidence","author":"M\u00fcller-Olm","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB67","series-title":"Co-Specification and Safety Critical Systems","author":"Monahan","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB68_1","series-title":"Semantics for the ProCoS Specification Language Level 0","author":"Olderog","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB68_2","series-title":"Semantics for the ProCoS Specification Language Level 0","author":"Olderog","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB69","article-title":"Transformation of SL0 Specifications into PL Programs","author":"R\u00f6ssig","year":"1990","journal-title":"Technical Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB70","article-title":"Refinement Algebra Proves Correctness of Compiling Specifications","author":"Hoare","year":"1990","journal-title":"PRG-TR-6-90 Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB71","article-title":"Operational Semantics for ProCoS Programming Language Level 0","author":"Jifeng","year":"1989","journal-title":"Research Report"},{"key":"10.1016\/0167-739X(92)90001-R_BIB72","article-title":"A Data Refinement Approach to Verification of Compiling Specification","author":"Jifeng","year":"1989","journal-title":"Techn. Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB73","article-title":"A Simulation Approach to Verification of Compiling Specification of ProCoS Level 0 Programming Language","author":"Jifeng","year":"1989","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB74","article-title":"Compiling specification for ProCoS level 0 language","author":"Jifeng","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB75","article-title":"Specification-Oriented Semantics for ProCoS Level 0 Language","author":"Jifeng","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB76","unstructured":"J. Bowen, Z. Specification of the \u03bctransputer Instruction Set, Technical Report, 1989-08, Superceded by [76]."},{"key":"10.1016\/0167-739X(92)90001-R_BIB77","article-title":"Specification of the ProCoS Level 0 Instruction Set","author":"Bowen","year":"1989","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB78","article-title":"Experiments with Lisp for compiling the ProCoS level 0 language","author":"Bowen","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB79","series-title":"An Approach to Verifiable Compiling Specification and Prototyping","author":"Bowen","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB80","article-title":"An Operational Semantics for the ProCoS Level 0 Assembly Language","author":"Pandya","year":"1989","journal-title":"Technical Note, Draft"},{"key":"10.1016\/0167-739X(92)90001-R_BIB81","article-title":"An Operational Semantics for the ProCoS Level 0 Machine Language","author":"Pandya","year":"1989","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB82","article-title":"A simulation approach to verification of assembling specification of ProCoS level 0 language","author":"Pandya","year":"1990","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB83","article-title":"Assembly languages for ProCoS level 0","author":"Pandya","year":"1989","journal-title":"Technical Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB84","series-title":"Duration Calculus","author":"ChaoChen","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB85","article-title":"Notes on the verification of [70]","author":"Lai","year":"1989","journal-title":"Note"},{"key":"10.1016\/0167-739X(92)90001-R_BIB86","series-title":"IFIP TC2 Conf., Sea of Gallilee","article-title":"Automating Squiggol","author":"Martin","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB87","series-title":"Safety Requirements for an Ammunition Control System","author":"Stavridou","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB88","series-title":"Ann. Rev. in Programming","article-title":"On the formal definition of PL\/1","author":"Lucas","year":"1971"},{"issue":"5","key":"10.1016\/0167-739X(92)90001-R_BIB89","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1147\/rd.255.0549","article-title":"Formal semantics of programming languages \u2014 VDL","volume":"25","author":"Lucas","year":"1981","journal-title":"IBMK J. Res. Develop."},{"key":"10.1016\/0167-739X(92)90001-R_BIB90","series-title":"Computer Semantics","author":"Lee","year":"1972"},{"issue":"1","key":"10.1016\/0167-739X(92)90001-R_BIB91","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/356596.356598","article-title":"The Vienna definition language","volume":"4","author":"Wegner","year":"1972","journal-title":"ACM Comput. Surveys"},{"issue":"2","key":"10.1016\/0167-739X(92)90001-R_BIB92","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1147\/sj.102.0086","article-title":"The formal description of programming languages","volume":"10","author":"Neuhold","year":"1971","journal-title":"IBM Systems J."},{"key":"10.1016\/0167-739X(92)90001-R_BIB93","author":"Spivey","year":"1988"},{"key":"10.1016\/0167-739X(92)90001-R_BIB94","series-title":"Understanding Z","author":"Spivey","year":"1989"},{"key":"10.1016\/0167-739X(92)90001-R_BIB95","series-title":"Specification Case Studies","author":"Hayes","year":"1986"},{"key":"10.1016\/0167-739X(92)90001-R_BIB96","series-title":"Proc. ICSE'12, IEEE Internat. Conf. on Softw. Engrg.","article-title":"Position Statement: Industrial Experience in Using Formal Methods","author":"Bj\u00f8rner","year":"1990"},{"key":"10.1016\/0167-739X(92)90001-R_BIB97","unstructured":"We here refer to the paper by our colleague Dr. Kokichi Futatsugi, in [95], concerning OBJ."},{"key":"10.1016\/0167-739X(92)90001-R_BIB98","series-title":"Functional Programming Using Standard ML","author":"Wikstr\u00f6m","year":"1987"},{"key":"10.1016\/0167-739X(92)90001-R_BIB99","series-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"10.1016\/0167-739X(92)90001-R_BIB100","series-title":"Communicating Sequential Processes","author":"Hoare","year":"1985"},{"key":"10.1016\/0167-739X(92)90001-R_BIB101","series-title":"Structured Programming","author":"Dahl","year":"1972"},{"key":"10.1016\/0167-739X(92)90001-R_BIB102","series-title":"Principles of Program Design","author":"Jackson","year":"1975"},{"key":"10.1016\/0167-739X(92)90001-R_BIB103","series-title":"System Development","author":"Jackson","year":"1983"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290001R?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290001R?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:50:33Z","timestamp":1551099033000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9290001R"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":110,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["0167739X9290001R"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(92)90001-r","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}