Difference between revisions of "Publications"

From Dr. Joey Paquet Web Site
Jump to: navigation, search
Line 1: Line 1:
−
{{cventry |[1]|Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi: Toward Automated MAC Spoofer Investigations. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.27 [http://doi.acm.org/10.1145/2641483.2641540]}}
+
{{cventry |[1]|Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi: Toward Automated MAC Spoofer Investigations. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.27 doi: 10.1145/2641483.2641540 [http://doi.acm.org/10.1145/2641483.2641540]}}
  
−
{{cventry |[2]|Touraj Laleh, Arash Khodadadi, Serguei A. Mokhov, Joey Paquet, Yuhong Yan: Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service Composition. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.23 [http://doi.acm.org/10.1145/2641483.2641528]}}
+
{{cventry |[2]|Touraj Laleh, Arash Khodadadi, Serguei A. Mokhov, Joey Paquet, Yuhong Yan: Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service Composition. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.23 doi: 10.1145/2641483.2641528 [http://doi.acm.org/10.1145/2641483.2641528]}}
  
 
{{cventry |[3]|Serguei A. Mokhov, Joey Paquet and Mourad Debbabi. "The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities". In: Proceedings of the Canadian Conference on AI 2014, Montreal, Canada. Lecture Notes in Computer Science #8436, Springer. May 2014, pp. 326-332. doi: 10.1007/978-3-319-06483-3_33. [http://dx.doi.org/10.1007/978-3-319-06483-3_33]}}
 
{{cventry |[3]|Serguei A. Mokhov, Joey Paquet and Mourad Debbabi. "The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities". In: Proceedings of the Canadian Conference on AI 2014, Montreal, Canada. Lecture Notes in Computer Science #8436, Springer. May 2014, pp. 326-332. doi: 10.1007/978-3-319-06483-3_33. [http://dx.doi.org/10.1007/978-3-319-06483-3_33]}}

Revision as of 09:51, 24 September 2014

[1]
Serguei A. Mokhov, Michael J. Assels, Joey Paquet, Mourad Debbabi: Toward Automated MAC Spoofer Investigations. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.27 doi: 10.1145/2641483.2641540 [1]
[2]
Touraj Laleh, Arash Khodadadi, Serguei A. Mokhov, Joey Paquet, Yuhong Yan: Toward Policy-Based Dynamic Context-Aware Adaptation Architecture for Web Service Composition. In: Proceedings of the Seventh International C* Conference on Computer Science and Software Engineering (C3S2E'14), Montreal, Canada. ACM, August 2014. p.23 doi: 10.1145/2641483.2641528 [2]
[3]
Serguei A. Mokhov, Joey Paquet and Mourad Debbabi. "The Use of NLP Techniques in Static Code Analysis to Detect Weaknesses and Vulnerabilities". In: Proceedings of the Canadian Conference on AI 2014, Montreal, Canada. Lecture Notes in Computer Science #8436, Springer. May 2014, pp. 326-332. doi: 10.1007/978-3-319-06483-3_33. [3]
[4]
M. El Barachi et al. "A multi-service multi-role integrated information model for dynamic resource discovery in virtual networks". In: Wireless Communications and Networking Conference (WCNC 2013), Shanghai, China. IEEE Computer Society, Apr. 2013, pp. 4777-4782. doi: 10.1109/WCNC.2013.6555349. [4]
[5]
Joey Paquet, Sleiman Rabah, Serguei Mokhov. "An Interactive Graph-Based Automation Assistant: A Case Study to Manage the GIPSY's Distributed Multi-tier Run-Time System". In: Proceedings of the 2013 Conference on Research in Adaptive and Convergent Systems (RACS 2013), Montreal, Canada. Oct. 2013. doi: 10.1145/2513228.2513286. [5]
[6]
Yi Ji, Serguei A. Mokhov, and Joey Paquet. "Unifying and Refactoring DMF to Support Concurrent Jini and JMS DMS in GIPSY". In: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering (C3S2E'12), Montreal, Canada. ACM, June 2012, pp. 36-44. isbn: 978-1-4503-1084-0. doi: 10.1145/2347583.2347588. [6]
[7]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Reasoning About a Simulated Printer Case Investigation with Forensic Lucid". In: Digital Forensics and Cyber Crime. Ed. by Pavel Gladyshev and Marcus K. Rogers. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 88. Springer Berlin Heidelberg, Oct. 2012, pp. 282-296. doi: 10.1007/978-3-642-35515-8_23. [7]
[8]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "On the Need for Data Flow Graph Visualization of Forensic Lucid Programs and Forensic Evidence, and their Evaluation by GIPSY". In: Proceedings of the Ninth Annual International Conference on Privacy, Security and Trust (PST'11), Montreal, Canada. IEEE Computer Society, July 2011, pp. 120-123. doi: 10.1109/PST.2011.5971973. [8]
[9]
Bin Han, Serguei A. Mokhov, and Joey Paquet. "Advances in the Design and Implementation of a Multi-Tier Architecture in the GIPSY Environment with Java". In: Proceedings of the 8th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2010), Montreal, Canada. IEEE Computer Society, May 2010, pp. 259-266. doi: 10.1109/SERA.2010.40. [9]
[10]
Serguei A. Mokhov and Joey Paquet. "A Type System for Higher-Order Intensional Logic Support for Variable Bindings in Hybrid Intensional-Imperative Programs in GIPSY". In: Proceedings of the 8th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2010), Montreal, Canada. IEEE Computer Society, May 2010, pp. 921-928. doi: 10.1109/ICIS.2010.156. [10]
[11]
Serguei A. Mokhov and Joey Paquet. "Using the General Intensional Programming System (GIPSY) for Evaluation of Higher-Order Intensional Logic (HOIL) Expressions". In: Proceedings of the 8th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2010), Montreal, Canada. IEEE Computer Society, May 2010, pp. 101-109. doi: 10.1109/SERA.2010.23. [11]
[12]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Towards Automatic Deduction and Event Reconstruction Using Forensic Lucid and Probabilities to Encode the IDS Evidence". In: Recent Advances in Intrusion Detection. Ed. by Somesh Jha, Robin Sommer, and Christian Kreibich. Vol. 6307. Lecture Notes in Computer Science (LNCS). Springer Berlin Heidelberg, 2010, pp. 508-509. isbn: 978-3-642-15511-6. doi: 10.1007/978-3-642-15512-3_36. [12]
[13]
Serguei A. Mokhov et al. "Towards a Self-Forensics Property in the ASSL Toolset". In: Proceedings of Proceedings of the Third C* Conference on Computer Science and Software Engineering (C3S2E'10), Montreal, Canada. ACM: New York, NY, USA, May 2010, pp. 108-113. isbn: 978-1-60558-901-5. doi: 10.1145/1822327.1822342. [13]
[14]
Aihua Wu, Joey Paquet, and Serguei A. Mokhov. "Object-Oriented Intensional Programming: Intensional Java/Lucid Classes". In: Proceedings of the 8th IEEE/ACIS International Conference on Software Engineering Research, Management and Applications (SERA 2010), Montreal, Canada. IEEE Computer Society, May 2010, pp. 158-167. doi: 10.1109/SERA.2010.29. [14]
[15]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Reasoning About a Simulated Printer Case Investigation with Forensic Lucid (abstract)". In: Proceedings of the Huntsville Simulation Conference (HSC'09), Huntsville, Alabama, USA. Ed. by Joseph S. Gauthier. The Society for Modeling and Simulation International (SCS), Oct. 2009, p. 45. isbn: 978-1-61738-587-2.
[16]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Towards Automated Deduction in Blackmail Case Analysis with Forensic Lucid". In: Proceedings of the Huntsville Simulation Conference (HSC'09), Huntsville, Alabama, USA. Ed. by Joseph S. Gauthier. The Society for Modeling and Simulation International (SCS), Oct. 2009, pp. 326-333. isbn: 978-1-61738-587-2.
[17]
Serguei A. Mokhov, Joey Paquet, and Xin Tong. "A type system for hybrid intensional-imperative programming support in GIPSY". In: Proceedings of the 2nd Canadian Conference on Computer Science and Software Engineering (C3S2E'09), Montreal, Canada. 2009, pp. 101-107. isbn: 978-1-60558-401-0. doi: 10.1145/1557626.1557642. [15]
[18]
Joey Paquet. "Distributed Eductive Execution of Hybrid Intensional Programs". In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC'09), Seattle, Washington, USA. IEEE Computer Society, July 2009, pp. 218-224. isbn: 978-0-7695-3726-9. doi: 10.1109/COMPSAC.2009.137.[16]
[19]
N. Tudoroiu, V. Cretu, and J. Paquet. "Investigations using the rational unified process (RUP) diagrams for software process modeling". In: International Multiconference on Computer Science and Information Technology 2009 (IMCSIT '09), Mragowo, Poland. Oct. 2009, pp. 523-530. doi: 10.1109/IMCSIT.2009.5352791. [17]
[20]
Emil Vassev, Amir Hossein Pourteymour and Joey Paquet. "Design and Implementation of Demand Migration Systems in GIPSY". In: Proceedings of the 2008 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'08), Las Vegas, USA. CSREA Press, July 2008, pp. 900-907. isbn: 1-60132-084-1.
[21]
Serguei A. Mokhov, Joey Paquet, and Mourad Debbabi. "Formally Specifying Operational Semantics and Language Constructs of Forensic Lucid". In: Proceedings of the IT Incident Management and IT Forensics (IMF'08), Mannheim, Germany. Ed. by Oliver Gobel et al. Vol. 140. LNI. GI, Sept. 2008, pp. 197-216. isbn: 978-3-88579-234-5.
[22]
Joey Paquet, Serguei A. Mokhov, and Xin Tong. "Design and Implementation of Context Calculus in the GIPSY Environment". In: Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland. IEEE Computer Society, July 2008, pp. 1278-1283. doi: 10.1109/COMPSAC.2008.200. [18]
[23]
Emil Vassev, Michael G. Hinchey, and Joey Paquet. "Towards an ASSL Specification Model for NASA Swarm-Based Exploration Missions". In: Proceedings of the 23rd Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Ceara, Brazil. ACM: New York, NY, USA, Mar. 2008, pp. 1652-1657. doi: 10.1145/1363686.1364079. [19]
[24]
Emil Vassev, Mike Hinchey, and Joey Paquet. "A Self-Scheduling Model for NASA Swarm-Based Exploration Missions using ASSL". In: Proceedings of the Fifth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'08), Belfast, Northern Ireland. IEEE Computer Society, Apr. 2008, pp. 54-64. isbn: 0-7695-3140-7. doi: 10.1109/EASe.2008.14. [20]
[25]
Emil Vassev and Joey Paquet. "Towards Autonomic GIPSY". In: Proceedings of the Fifth IEEE Workshop on Engineering of Autonomic and Autonomous Systems (EASE 2008), Belfast, Northern Ireland. Apr. 2008, pp. 25-34. isbn: 0-7695-3140-7. doi: 10.1109/EASe.2008.9. [21]
[26]
Hadi Otrok et al. "Testing Intrusion Detection Systems in MANET: A Comprehensive Study". In: Proceedings of the Fifth Annual Conference on Communication Networks and Services Research (CNSR'07), Fredericton, Canada. May 2007, pp. 364-371. isbn: 0-7695-2835-X. doi: 10.1109/CNSR.2007.62. [22]
[27]
Amir Hossein Pourteymour, Emil Vassev, and Joey Paquet. "Towards a New Demand-Driven Message-Oriented Middleware in GIPSY". In: Proceedings of The 2007 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'07), Las Vegas, USA. Vol. 1. CSREA Press, June 2007, pp. 91-97. isbn: 1-60132-020-5.
[28]
Emil Vassev, Olga Ormandjieva, and Joey Paquet. "ASSL Specification of Reliability Self-Assessment in the AS-TRM". In: Proceedings of the Second International Conference on Software and Data Technologies (ICSOFT 2007), Barcelona, Spain. July 2007, pp. 198-206. isbn: 978-989-8111-06-7.
[29]
Emil Vassev and Joey Paquet. "ASSL - Autonomic System Specification Language". In: Proceedings if the 31st Annual IEEE/NASA Software Engineering Workshop (SEW-31 2007), Loyola College, Culumbia, MD, USA. NASA/IEEE. IEEE Computer Society, Mar. 2007, pp. 300-309. doi: 10.1109/SEW.2007.97. [23]
[30]
Emil Vassev and Joey Paquet. "Towards an Autonomic Element Architecture for ASSL". In: Proceedings of the 29th IEEE International Conference on Software Engineering / Software Engineering for Adaptive and Self-managing Systems (ICSE 2007 SEAMS), Minneapolis, MN, USA. IEEE Computer Society, May 2007, p. 4. doi: 10.1109/SEAMS.2007.21. [24]
[31]
Emil Vassev and Joey Paquet. "Aspects of Memory Management in Java and C++". In: Proceedings of the International Conference onSoftware Engineering Research and Practice & Conference on Programming Languages and Compilers (SERP 2006), Las Vegas, Nevada, USA. Vol. 2. CSREA Press, June 2006, pp. 952-958. isbn: 1-932415-91-2.
[32]
Emil Vassev and Joey Paquet. "Evaluation Issues in Generic Programming with Inheritance and Templates in C++". In: Proceedings of the International Conference on Software Engineering Research and Practice & Conference on ProgrammingLanguages and Compilers (SERP 2006), Las Vegas, Nevada, USA. Vol. 2. CSREA Press, June 2006, pp. 940-944. isbn: 1-932415-91-2.
[33]
Emil Vassev et al. "Reactive, distributed and autonomic computing aspects of AS-TRM". In: Proceedings of The 1st International Conference on Software and Data Technologies (ICSOFT2006), Setubal, Portugal. Ed. by Joaquim Filipe, Boris Shishkov, and Markus Helfert. INSTICC Press, Sept. 2006, pp. 196-202. isbn: 972-8865-69-4.
[34]
Kaiyu Wan, Vasu Alagar, and Joey Paquet. "An Architecture for Developing Context-Aware Systems". In: Modeling and Retrieval of Context. Ed. by Thomas R. Roth-Berghofer, Stefan Schulz, and David B. Leake. Vol. 3946. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2006, pp. 48-61. isbn: 978-3-540-33587-0. doi: 10.1007/11740674_4. [25]
[35]
Vasu S. Alagar, Joey Paquet, and Kaiyu Wan. "Intensional Programming for Agent Communication". In: Declarative Agent Languages and Technologies II. Ed. by Joao Leite et al. Vol. 3476. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005, pp. 239-255. doi: 10.1007/11493402_14. [26]
[36]
Peter Grogono, Serguei Mokhov, and Joey Paquet. "Towards JLucid, Lucid with Embedded Java Functions in the GIPSY". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 15-21. isbn: 1-932415-75-0.
[37]
Serguei Mokhov and Joey Paquet. "General Imperative Compiler Framework within the GIPSY". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 36-42. isbn: 1-932415-75-0.
[38]
Serguei Mokhov and Joey Paquet. "Objective Lucid - First Step in Object-Oriented Intensional Programming in the GIPSY". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 22-28. isbn: 1-932415-75-0.
[39]
Joey Paquet and Ai Hua Wu. "GIPSY - A Platform for the Investigation on Intensional Programming Languages". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 8-14. isbn: 1-932415-75-0.
[40]
Emil Vassev and Joey Paquet. "A General Architecture for Demand Migration in a Demand-Driven Execution Engine in a Heterogeneous and Distributed Environment". In: Proceedings of the 3rd Annual Communication Networks and Services Research Conference (CNSR 2005), Halifax, Canada. IEEE Computer Society, May 2005, pp. 176-182. doi: 10.1109/CNSR.2005.9. [27]
[41]
Emil Vassev and Joey Paquet. "A Generic Framework for Migrating Demands in the GIPSY's Demand-Driven Execution Engine". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 29-35. isbn: 1-932415-75-0.
[42]
Kaiyu Wan, Vasu Alagar, and Joey Paquet. "A Context Theory for Intensional Programming". In: Workshop on Context Representation and Reasoning (CRR05), Paris, France. July 2005.
[43]
Kaiyu Wan, Vasu Alagar, and Joey Paquet. "Lucx: Lucid Enriched with Context". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 48-56. isbn: 1-932415-75-0.
[44]
Kaiyu Wan, Vasu Alagar, and Joey Paquet. "Real Time Reactive Programming in Lucid Enriched with Contexts". In: Theoretical Aspects of Computing - ICTAC 2004. Ed. by Zhiming Liu and Keijiro Araki. Vol. 3407. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2005, pp. 387-402. isbn: 978-3-540-25304-4. doi: 10.1007/978-3-540-31862-0_28. [28]
[45]
Ai Hua Wu and Joey Paquet. "Object-Oriented Intensional Programming in the GIPSY: Preliminary Investigations". In: Proceedings of the 2005 International Conference on Programming Languages and Compilers (PLC 2005), Las Vegas, USA. CSREA Press, June 2005, pp. 43-47. isbn: 1-932415-75-0.
[46]
Joey Paquet and Ai Hua Wu. "Requirements and framework of the general intensional programming system". In: Proceedings of the Eighth International Conference on Computer Supported Cooperative Work in Design (CSCW 2004), Xiamen, China. Vol. 2. May 2004. doi: 10.1109/CACWD.2004.1349273. [29]
[47]
Joey Paquet, Aihua Wu, and Peter Grogono. "Towards a Framework for the General Intensional Programming Compiler in the GIPSY". In: Proceedings of the 19th Annual ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2004), Vancouver, Canada. ACM: New York, USA, Oct. 2004, pp. 164-165. isbn: 1-58113-833-4. doi: 10.1145/1028664.1028731. [30]
[48]
Ai Hua Wu and Joey Paquet. "The translator generation in the general intensional programming complier". In: Proceedings of the Eighth International Conference on Computer Supported Cooperative Work in Design (CSCW 2004), Xiamen, China. Vol. 2. May 2004. doi: 10.1109/CACWD.2004.1349274. [31]
[49]
Bo Lu, Peter Grogono, and Joey Paquet. "Distributed execution of multidimensional programming languages". In: Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), Marina del Rey, USA. Ed. by T. Gonzales. Vol. 1. ACTA Press, Nov. 2003, pp. 284-289. isbn: 0-88986-392-X.
[50]
Ai Hua Wu, Joey Paquet, and Peter Grogono. "Design of a Compiler Framework in the GIPSY System". In: Proceedings of the 15th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS 2003), Marina del Rey, USA. Ed. by T. Gonzales. Vol. 1. ACTA Press, Nov. 2003, pp. 320-328. isbn: 0-88986-392-X.
[51]
Joey Paquet and Peter Kropf. "The GIPSY Architecture". In: Proceedings of Distributed Computing on the Web, Quebec City, Canada. Ed. by Peter G. Kropf et al. Vol. 1830. Lecture Notes in Computer Science. Springer Berlin Heidelberg, 2000, pp. 144-153. doi: 10.1007/3-540-45111-0_17. [32]
[52]
Jean-Raymond Gagne, Joey Paquet, and John Plaice. "Indexical Translation of Tail-recursive Functions". In: Intensional Programming II. Ed. by Panos Rondogiannis, Manolis Gergatsoulis. World Scientific, Singapore, 1999, pp. 292-295.
[53]
Joey Paquet. "Scientific Intensional Programming". PhD thesis. Department of Computer Science, Laval University, Sainte-Foy, Canada, 1999.
[54]
Joey Paquet and John Plaice. "The Semantics of Dimensions as Values". In: Intensional Programming II. Ed. by Panos Rondogiannis Manolis Gergatsoulis. World Scientific, Singapore, 1999, pp. 259-273.
[55]
Joey Paquet and John Plaice. "Dimensions and functions as values". In: Proceedings of the Eleventh International Symposium on Lucid and Intensional Programming, Sun Microsystems, Palo Alto, USA. Ed. by Bill Wadge. May 1998, pp. 74-78.
[56]
Joey Paquet and John Plaice. "Visual presentation of multidimensional dataflow programs". In: Proceedings of the Eleventh International Symposium on Lucid and Intensional Programming, Sun Microsystems, Palo Alto, USA. Ed. by Bill Wadge. May 1998, pp. 79-88.
[57]
Joey Paquet and John Plaice. "Towards an intensional scientific programming methodology". In: Proceedings of the Tenth International Symposium on Lucid and Intensional Programming, University of Victoria, Canada. Ed. by Bill Wadge. 1997, pp. 1-10.
[58]
Joey Paquet and John Plaice. "The Intensional Relation". In: Intensional Programming I. Ed. by Edward A. Ashcroft and Mehmet A. Orgun. World Scientific, Singapore, 1996, pp. 214-227.
[59]
John Plaice and Joey Paquet. "Introduction to Intensional Programming". In: Intensional Programming I. Ed. by Edward A. Ashcroft and Mehmet A. Orgun. World Scientific, Singapore, 1996, pp. 1-14.
[60]
Joey Paquet. "Relational databases as multidimensional dataflow". MSc thesis. Department of Computer Science, Laval University, Sainte-Foy, Canada, 1995.
[61]
Joey Paquet and John Plaice. "On the Design of an Indexical Query Language". In: Proceedings of the Seventh International Symposium on Lucid and Intensional Programming, SRI International, Menlo Park, USA. Ed. by Edward A. Ashcroft. 1994, pp. 28-36.
Retrieved from "https://users.encs.concordia.ca/~paquet/wiki/index.php?title=Publications&oldid=767"